Ergebnisse zu
Compilerbau

Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
von Reinhard Kahle; Peter Schroeder-Heister; Robert..
Buch | Softcover
2001 | Auflage: 1 | Springer Berlin
ISBN: 9783540427520
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Constraint Databases
von Gabriel Kuper; Leonid Libkin; Jan Paredaens
Buch | Hardcover
2000 | Auflage: 1 | Springer Berlin
ISBN: 9783540661511
160,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Fundamental Approaches to Software Engineering
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble,..
von Ralf-Detlef Kutsche; Herbert Weber
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540433538
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
25 Years of Model Checking
History, Achievements, Perspectives
von Orna Grumberg; Helmut Veith
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540698494
37,44 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler Construction
18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK,..
von Oege de Moor; Michael I. Schwartzbach
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642007217
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Fundamental Approaches to Software Engineering
19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven,..
von Perdita Stevens; Andrzej Wąsowski
Buch | Softcover
2016 | Auflage: 1 | Springer Berlin
ISBN: 9783662496640
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen