Seite 2 von 5
Anzahl pro Seite
Sortiert nach
Produkte: 52 Seite 2 von 5 Filter
Yi

Static Analysis  

Static Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-37756-6 (Buch)
  • Erscheinungstermin: 17.08.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Merino / Leue

Formal Methods for Industrial Critical Systems  

Formal Methods for Industrial Critical Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-79706-7 (Buch)
  • Erscheinungstermin: 19.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Capello / Dongarra / Herault

Recent Advances in Parallel Virtual Machine and Message Passing Interface  

Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-75415-2 (Buch)
  • Erscheinungstermin: 18.09.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Engels / Weil / Opdyke

Model Driven Engineering Languages and Systems  

Model Driven Engineering Languages and Systems
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-75208-0 (Buch)
  • Erscheinungstermin: 13.09.2007
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Reps / Bauer / Sagiv

Program Analysis and Compilation, Theory and Practice  

Program Analysis and Compilation, Theory and Practice
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-71315-9 (Buch)
  • Erscheinungstermin: 30.03.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bin / Ur / Ziv

Hardware and Software, Verification and Testing  

Hardware and Software, Verification and Testing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-70888-9 (Buch)
  • Erscheinungstermin: 09.02.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Namjoshi / Okamura / Yoneda

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-75595-1 (Buch)
  • Erscheinungstermin: 09.10.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gabbrielli / Gupta

Logic Programming  

Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gabbrielli / Gupta

Logic Programming

  • Verlag: Springer
  • ISBN: 978-3-540-29208-1 (Buch)
  • Erscheinungstermin: 19.09.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hudak / Warren

Practical Aspects of Declarative Languages  

Practical Aspects of Declarative Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-77441-9 (Buch)
  • Erscheinungstermin: 18.12.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zavattaro / Steffen

Formal Methods for Open Object-Based Distributed Systems  

Formal Methods for Open Object-Based Distributed Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-26181-0 (Buch)
  • Erscheinungstermin: 03.06.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach