Ergebnisse filtern
- Fachgebiet
- Medium
-
- 530
- Erscheinungsjahr
-
- 1
- 8
- 11
- 23
- 10
- 28
- 53
- 41
- 34
- 43
- 33
- 28
- 18
- 20
- 26
- 23
- 24
- 19
- 14
- 26
- 10
- 16
- 6
- 5
- 3
- 2
- 3
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 4
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 6
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- Verlag
-
- 11
- 513
- 6
- Preis
-
- 1
- 457
- 72
- Sprachen
-
- 530
- Verfügbarkeit
-
- 530
- Katalog
-
- 530
- 24
-
Royer A Connotational Theory of Program Structure
1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18253-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Springer The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Futatsugi / Yonezaki / Mizoguchi Software Security - Theories and Systems
Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 20032004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23635-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ohori Programming Languages and Systems
First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20536-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Alur Embedded Software
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20223-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Black ECOOP 2005 - Object-Oriented Programming
19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27992-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rauchwerger Languages and Compilers for Parallel Computing
16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21199-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cabeza / Hermenegildo Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24362-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zavattaro / Steffen Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26181-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nielsen / Grabowski Formal Approaches to Software Testing
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maibaum / Aichernig Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20527-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Heineman / Crnkovic / Wallnau Component-Based Software Engineering
8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 20052005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25877-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Adve / Petersen / Garzarán Languages and Compilers for Parallel Computing
20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85260-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bakker / Rozenberg / Roever A Decade of Concurrency: Reflections and Perspectives
Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58043-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weber / Lafontaine / Simons The Generic Development Language Deva
Presentation and Case Studies1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57335-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gutknecht Programming Languages and System Architectures
International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57840-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Engels / Weil / Opdyke Model Driven Engineering Languages and Systems
10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75208-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Namjoshi / Okamura / Yoneda Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75595-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Eisenecker / Czarnecki Generative and Component-Based Software Engineering
First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41172-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Le Metayer Programming Languages and Systems
11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43363-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mohnen / Arts Implementation of Functional Languages
13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43537-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Johnsen / Bonsangue Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72919-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Crnkovic / Wallnau / Stafford Component-Based Software Engineering
7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21998-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Niebert / Larsen Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21671-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort