Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

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
Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
von Corina S Pasareanu
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642026515
CHF 104,80 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering
12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK,..
von Marsha Chechik; Martin Wirsing
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642005923
CHF 149,75 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540734475
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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
CHF 74,85 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540749141
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
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
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
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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
CHF 149,75 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783642217678
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
von Radhia Cousot; Matthieu Martel
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642157684
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Lancelot
A Fortran Package for Large-Scale Nonlinear Optimization (Release A)
von A.R. Conn; G.I.M. Gould; P.L. Toint
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642081392
CHF 224,65 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 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