Seite 24 von 217
Anzahl pro Seite
Sortiert nach
Produkte: 2168 Seite 24 von 217 Filter
Meseguer / Varela / Venkatasubramanian

Concurrent Programming, Open Systems and Formal Methods  

Concurrent Programming, Open Systems and Formal Methods
87,73 € (inkl. MwSt.) 81,99 € (zzgl. MwSt.)
Meseguer / Varela / Venkatasubramanian

Concurrent Programming, Open Systems and Formal Methods

  • Verlag: Springer-Verlag GmbH
  • ISBN: 978-3-032-05290-2 (Buch)
  • Erscheinungstermin: 25.09.2025
  • Vorbestellbar
87,73 € (inkl. MwSt.) 81,99 € (zzgl. MwSt.)
Darulova / Lin / Rümmer

Computer Aided Verification  

Computer Aided Verification
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Darulova / Lin / Rümmer

Computer Aided Verification

  • Verlag: Springer
  • ISBN: 978-3-032-32525-9 (Buch)
  • Erscheinungstermin: 24.07.2026
  • Vorbestellbar
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Wrembel / Kotsis / Tjoa

Database and Expert Systems Applications  

Database and Expert Systems Applications
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-032-34376-5 (Buch)
  • Erscheinungstermin: 03.08.2026
  • Vorbestellbar
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Martínez / Camacho / Yin

Intelligent Data Engineering and Automated Learning - IDEAL 2025  

Intelligent Data Engineering and Automated Learning - IDEAL 2025
87,73 € (inkl. MwSt.) 81,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-032-10488-5 (Buch)
  • Erscheinungstermin: 07.11.2025
  • Lieferzeit ca. 10 Werktage
87,73 € (inkl. MwSt.) 81,99 € (zzgl. MwSt.)
Martínez / Camacho / Yin

Intelligent Data Engineering and Automated Learning - IDEAL 2025  

Intelligent Data Engineering and Automated Learning - IDEAL 2025
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
  • Verlag: Birkhäuser
  • ISBN: 978-3-032-10485-4 (Buch)
  • Erscheinungstermin: 06.11.2025
  • Lieferzeit ca. 10 Werktage
96,29 € (inkl. MwSt.) 89,99 € (zzgl. MwSt.)
Hogeweg / Jalali / Sedlár

Logic, Language, and Computation  

Logic, Language, and Computation
139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)
Hogeweg / Jalali / Sedlár

Logic, Language, and Computation

  • Verlag: Springer
  • ISBN: 978-3-032-14338-9 (Buch)
  • Erscheinungstermin: 17.02.2026
  • Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)
Chen / Jensen / Lengál

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-032-15699-0 (Buch)
  • Erscheinungstermin: 13.01.2026
  • Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Junges / Katz

Tools and Algorithms for the Construction and Analysis of Systems  

Tools and Algorithms for the Construction and Analysis of Systems
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-032-22748-5 (Buch)
  • Erscheinungstermin: 16.04.2026
  • Lieferzeit ca. 10 Werktage
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Carvalho / Kobayashi

Formal Methods Teaching  

Formal Methods Teaching
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Carvalho / Kobayashi

Formal Methods Teaching

  • Verlag: Springer
  • ISBN: 978-3-032-26742-9 (Buch)
  • Erscheinungstermin: 19.05.2026
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach