Anzahl Produkte: 10
Lecture Notes in Computer Science
Technische Informatik
Grundlagen der Mathematik
Dynamic Logic. New Trends and Applications
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland AG
- ISBN: 978-3-032-22625-9 (Buch)
- Erscheinungstermin: 21.06.2026
-
Vorbestellbar
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Formal Methods Teaching
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- 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.)
Computer Aided Verification
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-55179-9 (Buch)
- Erscheinungstermin: 22.04.1992
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
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.)
Distributed Algorithms
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- 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.)
Formal Methods Teaching
40,65 € (inkl. MwSt.)
37,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-031-71378-1 (Buch)
- Erscheinungstermin: 05.09.2024
-
Lieferzeit ca. 10 Werktage
40,65 € (inkl. MwSt.)
37,99 € (zzgl. MwSt.)
Graph Reduction
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-18420-1 (Buch)
- Erscheinungstermin: 07.10.1987
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
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.)
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.)
Analysis of Dynamical and Cognitive Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58843-6 (Buch)
- Erscheinungstermin: 26.01.1995
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- |
- 1