Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

LaTeX for Linux
A Vade Mecum
von Bernice S. Lipkin
Buch | Softcover
1999 | Springer-Verlag New York Inc.
ISBN: 9780387987088
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings.
von Tibor Gyimothy
Buch | Softcover
1996 | Auflage: 1 | Springer Berlin
ISBN: 9783540610533
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon,..
von Kai Koskimies
Buch | Softcover
1998 | Auflage: 1 | Springer Berlin
ISBN: 9783540643043
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
CONCUR '91
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
von Jos C.M. Baeten; Jan F. Groote
Buch | Softcover
1991 | Auflage: 1 | Springer Berlin
ISBN: 9783540544302
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
CONCUR '95 Concurrency Theory
6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
von Scott Smolka
Buch | Softcover
1995 | Auflage: 1 | Springer Berlin
ISBN: 9783540602187
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
von Eyal Bin; Avi Ziv; Shmuel Ur
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540708889
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
von Otmane Ait Mohamed; César Munoz; Sofiène Tahar
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540710653
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Design
Virtual Machines
von Reinhard Wilhelm; Helmut Seidl
Buch | Softcover
2016 | Auflage: 1 | Springer Berlin
ISBN: 9783662506226
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen