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

Ergebnisse zu
Compilerbau

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 | Springer Berlin
ISBN: 9783540710653
CHF 74,85 (inkl. MwSt)
in den Warenkorb 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 | Springer Berlin
ISBN: 9783642037924
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Using Toolpack Software Tools
Proceedings of the Ispra-Course held at the Joint Research Centre, Ispra, Italy, 17–21 November 1986
von A.A. Pollicini
Buch | Hardcover
1988 | Kluwer Academic Publishers
ISBN: 9780792300335
CHF 129,95 (inkl. MwSt)
in den Warenkorb jetzt vorbestellen
  • Titel z.Zt. nicht lieferbar
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 82,35 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen