Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Perspectives of System Informatics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015,..
von Manuel Mazzara; Andrei Voronkov
Buch | Softcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319415789
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Concrete Semantics
With Isabelle/HOL
von Tobias Nipkow; Gerwin Klein
Buch | Softcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319357591
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Programming Languages
16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings
von Francisco Heron de Carvalho Junior; Luis Soares..
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642331817
CHF 68,90 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
von Franz Baader
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540405597
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages and Systems
15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
von Peter Sestoft
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540330950
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Mathematics of Program Construction
8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
von Tarmo Uustalu
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540356318
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
von Jean-Christophe Filliatre; Christine Paulin-Mohring;..
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540314288
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Database Programming Languages
10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
von Gavin Bierman; Christoph Koch
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540309512
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
von Laurent Fribourg
Buch | Softcover
2001 | Auflage: 1 | Springer Berlin
ISBN: 9783540425540
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Theorem Proving in Higher Order Logics
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
von Richard J. Boulton; Paul B. Jackson
Buch | Softcover
2001 | Auflage: 1 | Springer Berlin
ISBN: 9783540425250
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
ESEC '91
3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
von Axel van Lamsweerde; Alfonso Fuggetta
Buch | Softcover
1991 | Auflage: 1 | Springer Berlin
ISBN: 9783540547426
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Database Programming Languages (DBPL-4)
Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhattan, New York City, USA, 30..
von Catriel Beeri; Atsushi Ohori; Dennis Shasha
Buch | Softcover
1994 | Auflage: 1 | Springer Berlin
ISBN: 9783540198536
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen