Seite 5 von 16
Anzahl pro Seite
Sortiert nach
Produkte: 163 Seite 5 von 16 Filter
Loucopoulos

Advanced Information Systems Engineering  

Advanced Information Systems Engineering
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55481-3 (Buch)
  • Erscheinungstermin: 29.04.1992
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Sastry / Henzinger

Hybrid Systems: Computation and Control  

Hybrid Systems: Computation and Control
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-64358-6 (Buch)
  • Erscheinungstermin: 25.03.1998
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Tucci / Calzarossa

Performance Evaluation of Complex Systems: Techniques and Tools  

Performance Evaluation of Complex Systems: Techniques and Tools
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-44252-3 (Buch)
  • Erscheinungstermin: 11.09.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gordon

Foundations of Software Science and Computational Structures  

Foundations of Software Science and Computational Structures
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-00897-2 (Buch)
  • Erscheinungstermin: 14.03.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Berry / Finkel / Comon

Computer Aided Verification  

Computer Aided Verification
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Berry / Finkel / Comon

Computer Aided Verification

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-42345-4 (Buch)
  • Erscheinungstermin: 04.07.2001
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Sifakis

Automatic Verification Methods for Finite State Systems  

Automatic Verification Methods for Finite State Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-52148-8 (Buch)
  • Erscheinungstermin: 10.01.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Nipkow / Barendregt

Types for Proofs and Programs  

Types for Proofs and Programs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58085-0 (Buch)
  • Erscheinungstermin: 20.05.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Baker

Memory Management  

Memory Management
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-60368-9 (Buch)
  • Erscheinungstermin: 11.09.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Miola

Design and Implementation of Symbolic Computation Systems  

Design and Implementation of Symbolic Computation Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-57235-0 (Buch)
  • Erscheinungstermin: 02.09.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wing / Woodcook / Davies

FM'99 - Formal Methods  

FM'99 - Formal Methods
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Wing / Woodcook / Davies

FM'99 - Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-540-66588-5 (Buch)
  • Erscheinungstermin: 13.09.1999
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach