Seite 5 von 10
Anzahl pro Seite
Sortiert nach
Produkte: 101 Seite 5 von 10 Filter
Clarke / Kurshan

Computer-Aided Verification  

Computer-Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-54477-7 (Buch)
  • Erscheinungstermin: 02.10.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ralescu / Shanahan

Fuzzy Logic in Artificial Intelligence  

Fuzzy Logic in Artificial Intelligence
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-66374-4 (Buch)
  • Erscheinungstermin: 28.07.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Comon / Marche / Treinen

Constraints in Computational Logics: Theory and Applications  

Constraints in Computational Logics: Theory and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-41950-1 (Buch)
  • Erscheinungstermin: 18.04.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Toueg / Spirakis / Kirousis

Distributed Algorithms  

Distributed Algorithms
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Toueg / Spirakis / Kirousis

Distributed Algorithms

  • Verlag: Springer
  • ISBN: 978-3-540-55236-9 (Buch)
  • Erscheinungstermin: 11.03.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bertrand / Dubslaff / Klüppelholz

Principles of Formal Quantitative Analysis  

Principles of Formal Quantitative Analysis
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Bertrand / Dubslaff / Klüppelholz

Principles of Formal Quantitative Analysis

  • Verlag: Birkhäuser
  • ISBN: 978-3-031-97438-0 (Buch)
  • Erscheinungstermin: 31.08.2025
  • Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Kleine Buening

Computer Science Logic  

Computer Science Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-61377-0 (Buch)
  • Erscheinungstermin: 05.06.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bläsius / Hedtstück / Rollinger

Sorts and Types in Artificial Intelligence  

Sorts and Types in Artificial Intelligence
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bläsius / Hedtstück / Rollinger

Sorts and Types in Artificial Intelligence

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-52337-6 (Buch)
  • Erscheinungstermin: 12.07.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dybjer / Nordström / Smith

Types for Proofs and Programs  

Types for Proofs and Programs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dybjer / Nordström / Smith

Types for Proofs and Programs

  • Verlag: Springer
  • ISBN: 978-3-540-60579-9 (Buch)
  • Erscheinungstermin: 18.10.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Abramsky

Typed Lambda Calculi and Applications  

Typed Lambda Calculi and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-41960-0 (Buch)
  • Erscheinungstermin: 20.04.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ehrig / Nagl / Rozenberg

Graph-Grammars and Their Application to Computer Science  

Graph-Grammars and Their Application to Computer Science
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-18771-4 (Buch)
  • Erscheinungstermin: 17.12.1987
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach