Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 8 Seite 1 von 1 Filter
Venturini Zilli

Mathematical Models for the Semantics of Parallelism  

Mathematical Models for the Semantics of Parallelism
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-18419-5 (Buch)
  • Erscheinungstermin: 07.10.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Vytopil

Formal Techniques in Real-Time and Fault-Tolerant Systems  

Formal Techniques in Real-Time and Fault-Tolerant Systems
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-55092-1 (Buch)
  • Erscheinungstermin: 11.12.1991
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Klein / Gamboa

Interactive Theorem Proving  

Interactive Theorem Proving
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-08969-0 (Buch)
  • Erscheinungstermin: 01.08.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Kleine Büning / Richter

Computer Science Logic  

Computer Science Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Kleine Büning / Richter

Computer Science Logic

  • Verlag: Springer
  • ISBN: 978-3-540-54487-6 (Buch)
  • Erscheinungstermin: 11.09.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dehne / Downey / Fellows

Parameterized and Exact Computation  

Parameterized and Exact Computation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dehne / Downey / Fellows

Parameterized and Exact Computation

  • Verlag: J.B. Metzler
  • ISBN: 978-3-540-23071-7 (Buch)
  • Erscheinungstermin: 06.09.2004
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gottlob / Leitsch / Mundici

Computational Logic and Proof Theory  

Computational Logic and Proof Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gottlob / Leitsch / Mundici

Computational Logic and Proof Theory

  • Verlag: Springer
  • ISBN: 978-3-540-57184-1 (Buch)
  • Erscheinungstermin: 13.08.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gottlob / Leitsch / Mundici

Computational Logic and Proof Theory  

Computational Logic and Proof Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gottlob / Leitsch / Mundici

Computational Logic and Proof Theory

  • Verlag: Springer
  • ISBN: 978-3-540-63385-3 (Buch)
  • Erscheinungstermin: 13.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kelemenova / Kelemen

Trends, Techniques, and Problems in Theoretical Computer Science  

Trends, Techniques, and Problems in Theoretical Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-18535-2 (Buch)
  • Erscheinungstermin: 21.10.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach