Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 11 Seite 1 von 1 Filter
Meseguer / Rosu

Algebraic Methodology and Software Technology  

Algebraic Methodology and Software Technology
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-79979-5 (Buch)
  • Erscheinungstermin: 15.07.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lastovetsky / Kechadi / Dongarra

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
  • ISBN: 978-3-540-87474-4 (Buch)
  • Erscheinungstermin: 28.08.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bouajjani / Chin

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-15642-7 (Buch)
  • Erscheinungstermin: 03.09.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Barthe

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
  • ISBN: 978-3-540-68862-4 (Buch)
  • Erscheinungstermin: 29.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cuellar / Maibaum

FM 2008: Formal Methods  

FM 2008: Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cuellar / Maibaum

FM 2008: Formal Methods

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-68235-6 (Buch)
  • Erscheinungstermin: 08.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sato / Hanawa / Müller

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More  

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-13216-2 (Buch)
  • Erscheinungstermin: 01.06.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Suzuki / Higashino / Yasumoto

Formal Techniques for Networked and Distributed Systems - FORTE 2008  

Formal Techniques for Networked and Distributed Systems - FORTE 2008
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-68854-9 (Buch)
  • Erscheinungstermin: 27.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hill / Warren

Logic Programming  

Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hill / Warren

Logic Programming

  • Verlag: Springer
  • ISBN: 978-3-642-02845-8 (Buch)
  • Erscheinungstermin: 24.06.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kofron / Vojnar

Mathematical and Engineering Methods in Computer Science  

Mathematical and Engineering Methods in Computer Science
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-29816-0 (Buch)
  • Erscheinungstermin: 04.02.2016
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Liu / Ravn

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-04760-2 (Buch)
  • Erscheinungstermin: 29.09.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |