Ergebnisse filtern
-
- 33
-
- 2
- 5
- 6
- 9
- 11
-
- 9
- 24
-
- 29
- 4
-
- 33
-
- 33
-
- 33
Prozedurale Programmierung
-
Garg / Arun-Kumar FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-49994-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wirsing / Hung Theoretical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29107-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Araki / Liu Theoretical Aspects of Computing - ICTAC 2004
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25304-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Barkaoui / Cerone / Cavalcanti Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48815-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jones / Woodcock / Liu Theoretical Aspects of Computing - ICTAC 2007
4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75290-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Aceto / Ingólfsdóttir Foundations of Software Science and Computational Structures
9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33045-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Seidl Foundations of Software Science and Computational Structures
10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71388-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sassone Foundations of Software Science and Computational Structures
8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20052005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25388-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Amadio Foundations of Software Science and Computational Structures
11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78497-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31428-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Drossopoulou Programming Languages and Systems
17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78738-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Giesl Term Rewriting and Applications
16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25596-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castagna Programming Languages and Systems
18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00589-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70588-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pfenning Term Rewriting and Applications
17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-36834-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Urzyczyn Typed Lambda Calculi and Applications
7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25593-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tseng / Pugh Languages and Compilers for Parallel Computing
15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30781-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Almási / Cascaval / Wu Languages and Compilers for Parallel Computing
19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-72520-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stenström / Dubois / Ungerer High Performance Embedded Architectures and Compilers
Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77559-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Thiagarajan / Raskin Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75453-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bouyer / Asarin Formal Modeling and Analysis of Timed Systems
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-45026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cerioli Fundamental Approaches to Software Engineering
8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25420-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baresi / Heckel Fundamental Approaches to Software Engineering
9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33093-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Abdallah / Sanders / Jones Communicating Sequential Processes. The First 25 Years
Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25813-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Maragria Leveraging Applications of Formal Methods
First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48928-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
