Seite 21 von 47
Anzahl pro Seite
Sortiert nach
Produkte: 473 Seite 21 von 47 Filter
Bjørner / Broy / Zamulin

Perspectives of System Informatics  

Perspectives of System Informatics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bjørner / Broy / Zamulin

Perspectives of System Informatics

  • Verlag: Springer
  • ISBN: 978-3-540-43075-9 (Buch)
  • Erscheinungstermin: 14.12.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Calvaresi / Najjar / Omicini

Explainable and Transparent AI and Multi-Agent Systems  

Explainable and Transparent AI and Multi-Agent Systems
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-40877-9 (Buch)
  • Erscheinungstermin: 05.09.2023
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Katsaros / Nenzi

Runtime Verification  

Runtime Verification
74,89 € (inkl. MwSt.) 69,99 € (zzgl. MwSt.)
Katsaros / Nenzi

Runtime Verification

  • Verlag: Springer
  • ISBN: 978-3-031-44266-7 (Buch)
  • Erscheinungstermin: 02.10.2023
  • Lieferzeit ca. 10 Werktage
74,89 € (inkl. MwSt.) 69,99 € (zzgl. MwSt.)
Polak

Compiler Specification and Verification  

Compiler Specification and Verification
24,60 € (inkl. MwSt.) 22,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-10886-3 (Buch)
  • Erscheinungstermin: 01.10.1981
  • Lieferzeit ca. 10 Werktage
24,60 € (inkl. MwSt.) 22,99 € (zzgl. MwSt.)
Bert / Choppy / Mosses

Recent Trends in Algebraic Development Techniques  

Recent Trends in Algebraic Development Techniques
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-67898-4 (Buch)
  • Erscheinungstermin: 06.09.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cortesi

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-43631-7 (Buch)
  • Erscheinungstermin: 24.04.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Clavel / Durán / Eker

All About Maude - A High-Performance Logical Framework  

All About Maude - A High-Performance Logical Framework
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-71940-3 (Buch)
  • Erscheinungstermin: 20.07.2007
  • Lieferzeit ca. 10 Werktage
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
Clote / Schwichtenberg

Computer Science Logic  

Computer Science Logic
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Clote / Schwichtenberg

Computer Science Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-67895-3 (Buch)
  • Erscheinungstermin: 09.08.2000
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Apt / Kakas / Monfroy

New Trends in Constraints  

New Trends in Constraints
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Apt / Kakas / Monfroy

New Trends in Constraints

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-67885-4 (Buch)
  • Erscheinungstermin: 23.08.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Suzuki / Higashino / Ulrich

Testing of Software and Communicating Systems  

Testing of Software and Communicating Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-68514-2 (Buch)
  • Erscheinungstermin: 26.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach