Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Implementation of Functional Languages
10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers
von Kevin Hammond; Tony Davie; Chris Clack
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540662297
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Types for Proofs and Programs
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
von Thorsten Altenkirch; Wolfgang Naraschewski;..
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540665373
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Reliable Software Technologies - Ada-Europe '99
1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
von Michael Gonzalez Harbour; Juan A. De La Puente
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540660934
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Agent-Oriented Programming
From Prolog to Guarded Definite Clauses
von Matthew M. Huntbach; Graem A. Ringwood
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540666837
CHF 74,85 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540433637
CHF 74,85 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540439318
CHF 74,85 (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
Approaches to Prototyping
Proceedings of the Working Conference on Prototyping, October 25 - 28, 1983, Namur, Belgium
von R. Budde; K. Kuhlenkamp; L. Mathiassen; H...
Buch | Softcover
1984 | Auflage: 1 | Springer Berlin
ISBN: 9783540134909
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