Seite 5 von 8
Anzahl pro Seite
Sortiert nach
Produkte: 82 Seite 5 von 8 Filter
Bertot / Castéran

Interactive Theorem Proving and Program Development  

Interactive Theorem Proving and Program Development
128,39 € (inkl. MwSt.) 119,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-20854-9 (Buch)
  • Erscheinungstermin: 14.05.2004
  • Lieferzeit ca. 10 Werktage
128,39 € (inkl. MwSt.) 119,99 € (zzgl. MwSt.)
Badouel / Bernardinello / Darondeau

Petri Net Synthesis  

Petri Net Synthesis
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Badouel / Bernardinello / Darondeau

Petri Net Synthesis

  • Verlag: Springer
  • ISBN: 978-3-662-47966-7 (Buch)
  • Erscheinungstermin: 11.11.2015
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Salomaa

Public-Key Cryptography  

Public-Key Cryptography
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Netherlands
  • ISBN: 978-3-540-61356-5 (Buch)
  • Erscheinungstermin: 25.10.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Drewes

Grammatical Picture Generation  

Grammatical Picture Generation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: J.B. Metzler
  • ISBN: 978-3-540-21304-8 (Buch)
  • Erscheinungstermin: 18.01.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gorrieri / Versari

Introduction to Concurrency Theory  

Introduction to Concurrency Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-319-36638-8 (Buch)
  • Erscheinungstermin: 22.10.2016
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kröger / Merz

Temporal Logic and State Systems  

Temporal Logic and State Systems
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-67401-6 (Buch)
  • Erscheinungstermin: 27.03.2008
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Libkin

Elements of Finite Model Theory  

Elements of Finite Model Theory
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: J.B. Metzler
  • ISBN: 978-3-540-21202-7 (Buch)
  • Erscheinungstermin: 02.07.2004
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Vollmer

Introduction to Circuit Complexity  

Introduction to Circuit Complexity
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
  • Verlag: Springer Netherlands
  • ISBN: 978-3-540-64310-4 (Buch)
  • Erscheinungstermin: 23.06.1999
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Hutter

Universal Artificial Intelligence  

Universal Artificial Intelligence
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
  • Verlag: Springer Netherlands
  • ISBN: 978-3-540-22139-5 (Buch)
  • Erscheinungstermin: 12.10.2004
  • Lieferzeit ca. 10 Werktage
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
Bertot / Castéran

Interactive Theorem Proving and Program Development  

Interactive Theorem Proving and Program Development
90,94 € (inkl. MwSt.) 84,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-05880-6 (Buch)
  • Erscheinungstermin: 15.12.2010
  • Lieferzeit ca. 10 Werktage
90,94 € (inkl. MwSt.) 84,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach