Seite 8 von 10
Anzahl pro Seite
Sortiert nach
Produkte: 101 Seite 8 von 10 Filter
Nipkow

Rewriting Techniques and Applications  

Rewriting Techniques and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-64301-2 (Buch)
  • Erscheinungstermin: 11.03.1998
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Guessarian

Semantics of Systems of Concurrent Processes  

Semantics of Systems of Concurrent Processes
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-53479-2 (Buch)
  • Erscheinungstermin: 28.11.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gunter / Felty

Theorem Proving in Higher Order Logics  

Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-63379-2 (Buch)
  • Erscheinungstermin: 06.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kutylowski / Pacholski / Wierzbicki

Mathematical Foundations of Computer Science 1999  

Mathematical Foundations of Computer Science 1999
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kutylowski / Pacholski / Wierzbicki

Mathematical Foundations of Computer Science 1999

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-66408-6 (Buch)
  • Erscheinungstermin: 18.08.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Courcoubetis

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-56922-0 (Buch)
  • Erscheinungstermin: 16.06.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Thielscher

Challenges for Action Theories  

Challenges for Action Theories
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-67455-9 (Buch)
  • Erscheinungstermin: 16.04.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
König / Urbat

Coalgebraic Methods in Computer Science  

Coalgebraic Methods in Computer Science
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-66437-3 (Buch)
  • Erscheinungstermin: 26.07.2024
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Jorrand / Kelemen

Fundamentals of Artificial Intelligence Research  

Fundamentals of Artificial Intelligence Research
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-54507-1 (Buch)
  • Erscheinungstermin: 28.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Djidjev

Optimal Algorithms  

Optimal Algorithms
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-51859-4 (Buch)
  • Erscheinungstermin: 08.11.1989
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Rusinowitch / Remy

Conditional Term Rewriting Systems  

Conditional Term Rewriting Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-56393-8 (Buch)
  • Erscheinungstermin: 29.01.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach