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

Ergebnisse zu
Compilerbau

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
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
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
Advanced Functional Programming
Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text
von John Launchbury; Erik Meijer; Tim Sheard
Buch | Softcover
1996 | Springer Berlin
ISBN: 9783540616283
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Implementation of Functional Languages
9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers
von Chris Clack; Kevin Hammond; Tony Davie
Buch | Softcover
1998 | Springer Berlin
ISBN: 9783540648499
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
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 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
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
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
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
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
von Domenico Cantone; Eugenio Omodeo; Alberto Policriti
Buch | Hardcover
2001 | Springer-Verlag New York Inc.
ISBN: 9780387951973
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy,..
von Reinhard Wilhelm
Buch | Softcover
2001 | Springer Berlin
ISBN: 9783540418610
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
Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
von Laurent Fribourg
Buch | Softcover
2001 | Springer Berlin
ISBN: 9783540425540
CHF 149,75 (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
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
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
Object-Based Concurrent Computing
ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
von Mario Tokoro; Oscar Nierstrasz; Peter Wegner
Buch | Softcover
1992 | Springer Berlin
ISBN: 9783540556138
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Persistent Object Systems
Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992
von Antonio Albano; Ron Morrison
Buch | Softcover
1993 | Springer Berlin
ISBN: 9783540198000
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 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 | Springer Berlin
ISBN: 9783540425250
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen