Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

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 | Springer Berlin
ISBN: 9783642081392
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 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
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 | Springer Berlin
ISBN: 9783540134909
CHF 149,75 (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
Ada 2005 Rationale
The Language, The Standard Libraries
von John Barnes
Buch | Softcover
2008 | Springer Berlin
ISBN: 9783540797005
CHF 89,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages
An Active Learning Approach
von Kent D. Lee
Buch | Hardcover
2008 | Springer-Verlag New York Inc.
ISBN: 9780387794211
CHF 129,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Advances in Software Engineering
Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
von Egon Börger; Antonio Cisternino
Buch | Softcover
2008 | Springer Berlin
ISBN: 9783540897613
CHF 74,85 (inkl. MwSt)
in den Warenkorb 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 | Springer Berlin
ISBN: 9783540665373
CHF 74,85 (inkl. MwSt)
in den Warenkorb 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 | Springer Berlin
ISBN: 9783540666837
CHF 74,85 (inkl. MwSt)
in den Warenkorb 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 | Springer Berlin
ISBN: 9783540660934
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
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 | Springer Berlin
ISBN: 9783540662297
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen