Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Declarative Programming for Knowledge Management
16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005...
von Masanobu Umeda; Armin Wolf; Oskar Bartenstein;..
Buch | Softcover
2006 | Springer Berlin
ISBN: 9783540692331
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Domain-Specific Program Generation
International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
von Christian Lengauer; Don Batory; Charles Consel;..
Buch | Softcover
2004 | Springer Berlin
ISBN: 9783540221197
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering
7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona,..
von Michel Wermelinger; Tiziana Margaria-Steffen
Buch | Softcover
2004 | Springer Berlin
ISBN: 9783540213055
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
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,..
von Luciano Baresi; Reiko Heckel
Buch | Softcover
2006 | Springer Berlin
ISBN: 9783540330936
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
von Patrick Godefroid
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540281955
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
von Luke Ong
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540282310
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Model Driven Engineering Languages and Systems
15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
von Robert B. France; Jürgen Kazmeier; Ruth Breu;..
Buch | Softcover
2012 | Springer Berlin
ISBN: 9783642336652
CHF 139,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Model Checking Software
14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
von Dragan Bosnacki; Stefan Edelkamp
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540733690
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga,..
von Shriram Krishnamurthi; Martin Odersky
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540712282
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
von Kwangkeun Yi
Buch | Softcover
2006 | Springer Berlin
ISBN: 9783540377566
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,..
von Albert Cohen
Buch | Softcover
2014 | Springer Berlin
ISBN: 9783642548062
CHF 71,90 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Practical TLA+
Planning Driven Development
von Hillel Wayne
Buch | Softcover
2018 | Apress
ISBN: 9781484238288
CHF 67,35 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 15-20 Tagen