Seite 22 von 119
Anzahl pro Seite
Sortiert nach
Produkte: 1188 Seite 22 von 119 Filter
Margaria / Steffen

Leveraging Applications of Formal Methods, Verification and Validation  

Leveraging Applications of Formal Methods, Verification and Validation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-34025-3 (Buch)
  • Erscheinungstermin: 11.09.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Choy / Cheung / Athanas

Reconfigurable Computing: Architectures, Tools and Applications  

Reconfigurable Computing: Architectures, Tools and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-28364-2 (Buch)
  • Erscheinungstermin: 02.03.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kaklamanis / Pruhs

Approximation and Online Algorithms  

Approximation and Online Algorithms
42,80 € (inkl. MwSt.) 40,00 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-08000-0 (Buch)
  • Erscheinungstermin: 05.08.2014
  • Lieferzeit ca. 10 Werktage
42,80 € (inkl. MwSt.) 40,00 € (zzgl. MwSt.)
Bodlaender / Langston

Parameterized and Exact Computation  

Parameterized and Exact Computation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-39098-5 (Buch)
  • Erscheinungstermin: 12.09.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Biere / Bloem

Computer Aided Verification  

Computer Aided Verification
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-08866-2 (Buch)
  • Erscheinungstermin: 04.08.2014
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Artemov / Nerode

Logical Foundations of Computer Science  

Logical Foundations of Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-319-72055-5 (Buch)
  • Erscheinungstermin: 28.11.2017
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dillig / Palsberg

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-319-73720-1 (Buch)
  • Erscheinungstermin: 10.01.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Frachtenberg / Schwiegelshohn

Job Scheduling Strategies for Parallel Processing  

Job Scheduling Strategies for Parallel Processing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-71034-9 (Buch)
  • Erscheinungstermin: 09.02.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Fouilhoux / Gouveia / Mahjoub

Combinatorial Optimization  

Combinatorial Optimization
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Fouilhoux / Gouveia / Mahjoub

Combinatorial Optimization

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-09173-0 (Buch)
  • Erscheinungstermin: 05.08.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach