Seite 2 von 24
Anzahl pro Seite
Sortiert nach
Produkte: 238 Seite 2 von 24 Filter
Kosmatov / Blanchette

Tests and Proofs  

Tests and Proofs
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Kosmatov / Blanchette

Tests and Proofs

  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-21214-2 (Buch)
  • Erscheinungstermin: 01.07.2015
  • Lieferzeit ca. 10 Werktage
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Woodcock / Oliveira

Formal Methods: Foundations and Applications  

Formal Methods: Foundations and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-10451-0 (Buch)
  • Erscheinungstermin: 09.11.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,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.)
Stephanidis

Universal Acess in Human Computer Interaction. Coping with Diversity  

Universal Acess in Human Computer Interaction. Coping with Diversity
160,49 € (inkl. MwSt.) 149,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-73278-5 (Buch)
  • Erscheinungstermin: 29.06.2007
  • Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.) 149,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.)
Lalanne / Kohlas

Human Machine Interaction  

Human Machine Interaction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-00436-0 (Buch)
  • Erscheinungstermin: 26.03.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Furia / Nanz

Object, Models, Components, Patterns  

Object, Models, Components, Patterns
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-30560-3 (Buch)
  • Erscheinungstermin: 11.05.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bernardo / Wiklicky / de Vink

Formal Methods for Dynamical Systems  

Formal Methods for Dynamical Systems
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Bernardo / Wiklicky / de Vink

Formal Methods for Dynamical Systems

  • Verlag: Springer
  • ISBN: 978-3-642-38873-6 (Buch)
  • Erscheinungstermin: 07.06.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Poess / Nambiar

Topics in Performance Evaluation, Measurement and Characterization  

Topics in Performance Evaluation, Measurement and Characterization
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-32626-4 (Buch)
  • Erscheinungstermin: 20.07.2012
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach