Nicht aus der Schweiz? Besuchen Sie lehmanns.de

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
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
LISP, Lore, and Logic
An Algebraic View of LISP Programming, Foundations, and Applications
von W. Richard Stark
Buch | Softcover
1990 | Springer-Verlag New York Inc.
ISBN: 9780387970721
CHF 127,30 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Common LISP Modules
Artificial Intelligence in the Era of Neural Networks and Chaos Theory
von Mark Watson
Buch | Softcover
1991 | Springer-Verlag New York Inc.
ISBN: 9780387976143
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Supercomputing
1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings
von Elias N. Houstis; Theodore S. Papatheodorou;..
Buch | Softcover
1988 | Auflage: 1 | Springer Berlin
ISBN: 9783540189916
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Software Engineering - ESEC '93
4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings
von Ian Sommerville; Manfred Paul
Buch | Softcover
1993 | Auflage: 1 | Springer Berlin
ISBN: 9783540572091
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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
Database Programming Languages
12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings
von Philippa Gardner; Floris Geerts
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642037924
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
25 Years of Model Checking
History, Achievements, Perspectives
von Orna Grumberg; Helmut Veith
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540698494
CHF 52,40 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
von Kung-Kiu Lau; Richard Banach
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540297970
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering
10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga,..
von Matthew B. Dwyer; Antonia Lopes
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540712886
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
Hardware and Software: Verification and Testing
4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
von Hana Chockler; Alan J. Hu
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642017018
CHF 104,80 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen