Anzahl Produkte: 9
Lecture Notes in Computer Science
Technische Informatik
Grundlagen der Mathematik
Formal Methods Teaching
40,65 € (inkl. MwSt.)
37,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-71378-1 (Buch)
- Erscheinungstermin: 05.09.2024
- Lieferzeit ca. 10 Werktage
40,65 € (inkl. MwSt.)
37,99 € (zzgl. MwSt.)
Computer Aided Verification
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-55179-9 (Buch)
- Erscheinungstermin: 22.04.1992
- 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.)
Distributed Artificial Intelligence: Architecture and Modelling
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-61314-5 (Buch)
- Erscheinungstermin: 12.06.1996
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Graph Reduction
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- 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 Berlin Heidelberg
- 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 Berlin Heidelberg
- ISBN: 978-3-540-63379-2 (Buch)
- Erscheinungstermin: 06.08.1997
- 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 Berlin Heidelberg
- 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 Berlin Heidelberg
- ISBN: 978-3-540-55236-9 (Buch)
- Erscheinungstermin: 11.03.1992
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- |
- 1