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

Ergebnisse zu
Compilerbau

LISP, Lore, and Logic
An Algebraic View of LISP Programming, Foundations, and Applications
von W. Richard Stark
Buch | Softcover
1990 | Springer-Verlag New York Inc.
ISBN: 9780387970721
CHF 127,30 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Supercomputing
1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings
von Elias N. Houstis; Theodore S. Papatheodorou;..
Buch | Softcover
1988 | Springer Berlin
ISBN: 9783540189916
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
von Agostino Cortesi; Gilberto File
Buch | Softcover
1999 | Springer Berlin
ISBN: 9783540664598
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
LaTeX for Linux
A Vade Mecum
von Bernice S. Lipkin
Buch | Softcover
1999 | Springer-Verlag New York Inc.
ISBN: 9780387987088
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
PasRo
Pascal and C for Robots
von Christian Blume; Wifried Jakob; John Favaro
Buch | Softcover
1987 | Auflage: 2 | Springer Berlin
ISBN: 9783540180937
CHF 134,80 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble,..
von Ralf-Detlef Kutsche; Herbert Weber
Buch | Softcover
2002 | Springer Berlin
ISBN: 9783540433538
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
von Otmane Ait Mohamed; César Munoz; Sofiène Tahar
Buch | Softcover
2008 | Springer Berlin
ISBN: 9783540710653
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Testing Software and Systems
22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
von Alexandre Petrenko; Adenilso Simao; José Carlos..
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642165726
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
von Alastair Donaldson; David Parker
Buch | Softcover
2012 | Springer Berlin
ISBN: 9783642317583
CHF 68,90 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Software Language Engineering
5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
von Krzysztof Czarnecki; Görel Hedin
Buch | Softcover
2013 | Springer Berlin
ISBN: 9783642360886
CHF 92,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Trends in Functional Programming
13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
von Hans Wolfgang Loidl; Ricardo Peña
Buch | Softcover
2013 | Springer Berlin
ISBN: 9783642404467
CHF 79,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Compiler Generators
What They Can Do, What They Might Do, and What They Will Probably Never Do
von Mads Tofte
Buch | Softcover
2011 | Springer Berlin
ISBN: 9783642648571
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
von Francesco Ranzato
Buch | Softcover
2017 | Springer International Publishing
ISBN: 9783319667058
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
C++/CLI Primer
For .NET Development
von Vivek Ragunathan
Buch | Softcover
2016 | Apress
ISBN: 9781484223666
CHF 34,40 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 15-20 Tagen
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of..
von Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti
Buch | Softcover
2017 | Springer International Publishing
ISBN: 9783319671123
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Beginning C
From Beginner to Pro
von German Gonzalez-Morris; Ivor Horton
Online Resource
2020 | Auflage: 6 | Apress
ISBN: 9781484259764
CHF 109,95 (inkl. MwSt)
  • Versand in 10-15 Tagen
Domain-Specific Program Generation
International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
von Christian Lengauer; Don Batory; Charles Consel;..
Buch | Softcover
2004 | Springer Berlin
ISBN: 9783540221197
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
von Kwangkeun Yi
Buch | Softcover
2006 | Springer Berlin
ISBN: 9783540377566
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
von Dragan Bosnacki; Stefan Edelkamp
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540733690
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen