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

Ergebnisse zu
Compilerbau

Agent-Oriented Programming
From Prolog to Guarded Definite Clauses
von Matthew M. Huntbach; Graem A. Ringwood
Buch | Softcover
1999 | Springer Berlin
ISBN: 9783540666837
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Computer-Aided Reasoning
ACL2 Case Studies
von Matt Kaufmann; Panagiotis Manolios; J Strother..
Buch | Hardcover
2000 | Kluwer Academic Publishers
ISBN: 9780792378495
CHF 299,55 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages and Systems
11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002..
von Daniel Le Metayer
Buch | Softcover
2002 | Springer Berlin
ISBN: 9783540433637
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
von Franz Baader
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540734475
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
von Jacques Duparc; Thomas A. Henzinger
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540749141
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Software Architecture
First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings
von Flavio Oquendo
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540751311
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Automated Deduction - CADE-18
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
von Andrei Voronkov
Buch | Softcover
2002 | Springer Berlin
ISBN: 9783540439318
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
von Martin Gogolla; Burkhart Wolff
Buch | Softcover
2011 | Springer Berlin
ISBN: 9783642217678
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Euro-Par 2013: Parallel Processing
19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
von Felix Wolf; Bernd Mohr; Dieter an Mey
Buch | Softcover
2013 | Springer Berlin
ISBN: 9783642400469
CHF 139,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Software and Data Technologies
7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
von José Cordeiro; Slimane Hammoudi; Marten van..
Buch | Softcover
2013 | Springer Berlin
ISBN: 9783642454035
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen