Ergebnisse zu
Compilerbau

Declarative Agent Languages and Technologies V
5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
von Matteo Baldoni; Tran Cao Son; M. Birna van..
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540775638
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
von Zoltán Ésik
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540454588
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
von Zhiming Liu; Jifeng He
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540474609
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Ada 2005 Rationale
The Language, The Standard Libraries
von John Barnes
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540797005
64,19 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler Construction
22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy,..
von Koen De Bosschere; Ranjit Jhala
Buch | Softcover
2013 | Auflage: 1 | Springer Berlin
ISBN: 9783642370502
49,22 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
von Antoine Mine; David Schmidt
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642331244
66,34 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Euro-Par 2012 Parallel Processing
18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
von Christos Kaklamanis; Theodore Papatheodorou; Paul..
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642328190
101,65 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages and Systems
14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
von Atsushi Igarashi
Buch | Softcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319479576
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen