Ergebnisse zu
Compilerbau

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
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
160,49 € (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 | Springer Berlin
ISBN: 9783540751311
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Ada 2005 Rationale
The Language, The Standard Libraries
von John Barnes
Buch | Softcover
2008 | Springer Berlin
ISBN: 9783540797005
64,19 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
74,89 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Euro-Par 2013: Parallel Processing
19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
von Felix Wolf; Bernd Mohr; Dieter an Mey
Buch | Softcover
2013 | Springer Berlin
ISBN: 9783642400469
101,65 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen