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

Ergebnisse zu
Compilerbau

Compiler Generators
What They Can Do, What They Might Do, and What They Will Probably Never Do
von Mads Tofte
Buch | Hardcover
1990 | Springer Berlin
ISBN: 9783540514718
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Ada 95 Rationale
The Language - The Standard Libraries
von John Barnes
Buch | Softcover
1997 | Springer Berlin
ISBN: 9783540631439
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Database Programming Languages (DBPL-4)
Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhattan, New York City, USA, 30..
von Catriel Beeri; Atsushi Ohori; Dennis Shasha
Buch | Softcover
1994 | Springer Berlin
ISBN: 9783540198536
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
CONCUR '94: Concurrency Theory
5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
von Bengt Jonsson; Joachim Parrow
Buch | Softcover
1994 | Springer Berlin
ISBN: 9783540583295
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
von Peter A. Fritzson
Buch | Softcover
1994 | Springer Berlin
ISBN: 9783540578772
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings
von Uwe Kastens; Peter Pfahler
Buch | Softcover
1992 | Springer Berlin
ISBN: 9783540559849
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Database Programming Languages
10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
von Gavin Bierman; Christoph Koch
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540309512
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 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 | Springer Berlin
ISBN: 9783540314288
CHF 74,85 (inkl. MwSt)
in den Warenkorb 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 | Springer Berlin
ISBN: 9783540454588
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Computer Science Logic
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
von Jerzy Marcinkowski
Buch | Softcover
2004 | Springer Berlin
ISBN: 9783540230243
CHF 74,85 (inkl. MwSt)
in den Warenkorb 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 | Springer Berlin
ISBN: 9783642026515
CHF 104,80 (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
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 | Springer Berlin
ISBN: 9783642005923
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
von Marcel Vinícius Medeiros Oliveira; Jim Woodcock
Buch | Softcover
2009 | Springer Berlin
ISBN: 9783642104510
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
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
Practical SGML
von Eric Van Herwijnen
Buch | Softcover
1990 | Kluwer Academic Publishers
ISBN: 9780792306351
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
ESEC '91
3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
von Axel van Lamsweerde; Alfonso Fuggetta
Buch | Softcover
1991 | Springer Berlin
ISBN: 9783540547426
CHF 74,85 (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
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
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
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
von Radhia Cousot; Matthieu Martel
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642157684
CHF 74,85 (inkl. MwSt)
in den Warenkorb 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 | Springer Berlin
ISBN: 9783642081392
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Unconventional Programming Paradigms
International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
von Jean-Pierre Banâtre; Pascal Fradet; Jean-Louis..
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540278849
CHF 74,85 (inkl. MwSt)
in den Warenkorb 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 | Springer Berlin
ISBN: 9783540474609
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen