Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

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
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
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
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540425540
CHF 149,75 (inkl. MwSt)
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
  • 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 | Auflage: 1 | Springer Berlin
ISBN: 9783540418610
CHF 74,85 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540662297
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
Software Architecture
First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings
von Flavio Oquendo
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540751311
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen