Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 10 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 Berlin Heidelberg
  • ISBN: 978-3-540-18419-5 (Buch)
  • Erscheinungstermin: 07.10.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bongiovanni / Di Battista / Bovet

Algorithms and Complexity  

Algorithms and Complexity
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bongiovanni / Di Battista / Bovet

Algorithms and Complexity

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-62592-6 (Buch)
  • Erscheinungstermin: 26.02.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wansing / Pearce

Nonclassical Logics and Information Processing  

Nonclassical Logics and Information Processing
37,44 € (inkl. MwSt.) 34,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55745-6 (Buch)
  • Erscheinungstermin: 22.07.1992
  • Lieferzeit ca. 10 Werktage
37,44 € (inkl. MwSt.) 34,99 € (zzgl. MwSt.)
Gamboa / Klein

Interactive Theorem Proving  

Interactive Theorem Proving
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-08969-0 (Buch)
  • Erscheinungstermin: 01.08.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dehne / Fellows / Downey

Parameterized and Exact Computation  

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

Parameterized and Exact Computation

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-23071-7 (Buch)
  • Erscheinungstermin: 06.09.2004
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Schönfeld / Kleine Büning

Computer Science Logic  

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

Computer Science Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54487-6 (Buch)
  • Erscheinungstermin: 11.09.1991
  • 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 Berlin Heidelberg
  • ISBN: 978-3-540-55092-1 (Buch)
  • Erscheinungstermin: 11.12.1991
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Gottlob / Mundici / Leitsch

Computational Logic and Proof Theory  

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

Computational Logic and Proof Theory

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

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 Berlin Heidelberg
  • ISBN: 978-3-540-18535-2 (Buch)
  • Erscheinungstermin: 21.10.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gottlob / Mundici / Leitsch

Computational Logic and Proof Theory  

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

Computational Logic and Proof Theory

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-57184-1 (Buch)
  • Erscheinungstermin: 13.08.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach