Seite 8 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 148 Seite 8 von 15 Filter
Brookes / Main / Schmidt

Mathematical Foundations of Programming Semantics  

Mathematical Foundations of Programming Semantics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55511-7 (Buch)
  • Erscheinungstermin: 20.05.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hofmann

Typed Lambda Calculi and Applications  

Typed Lambda Calculi and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-40332-6 (Buch)
  • Erscheinungstermin: 27.05.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahle / Stärk / Schroeder-Heister

Proof Theory in Computer Science  

Proof Theory in Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahle / Stärk / Schroeder-Heister

Proof Theory in Computer Science

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-42752-0 (Buch)
  • Erscheinungstermin: 28.09.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kuich / Salomaa / Rozenberg

Developments in Language Theory  

Developments in Language Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kuich / Salomaa / Rozenberg

Developments in Language Theory

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-43453-5 (Buch)
  • Erscheinungstermin: 27.03.2002
  • 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.)
Böhm / Ausiello

Automata, Languages and Programming  

Automata, Languages and Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-08860-8 (Buch)
  • Erscheinungstermin: 01.07.1978
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Budach / Lupanov / Bukharajev

Fundamentals of Computation Theory  

Fundamentals of Computation Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Budach / Lupanov / Bukharajev

Fundamentals of Computation Theory

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-18740-0 (Buch)
  • Erscheinungstermin: 09.12.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Clarke / Moral / Kruse

Symbolic and Quantitative Approaches to Reasoning and Uncertainty  

Symbolic and Quantitative Approaches to Reasoning and Uncertainty
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-57395-1 (Buch)
  • Erscheinungstermin: 20.10.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Camilleri / Melham

Higher Order Logic Theorem Proving and Its Applications  

Higher Order Logic Theorem Proving and Its Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58450-6 (Buch)
  • Erscheinungstermin: 07.09.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Taitslin / Nerode

Logical Foundations of Computer Science - Tver '92  

Logical Foundations of Computer Science - Tver '92
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55707-4 (Buch)
  • Erscheinungstermin: 24.06.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach