Ergebnisse filtern
-
- 7
- 3
-
- 1
- 1
- 1
- 2
- 2
- 1
- 2
-
- 2
- 10
- 1
- 1
- 1
- 1
- 2
-
- 3
- 6
- 1
-
- 2
- 6
- 2
-
- 10
-
- 10
-
- 10
-
Platzer Logical Foundations of Cyber-Physical Systems
Softcover Nachdruck of the original 1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-09697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Platzer Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14509-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Platzer Logical Foundations of Cyber-Physical Systems
Erscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-63588-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Platzer Logical Foundations of Cyber-Physical Systems
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-63587-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Platzer Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics2010Verlag: SpringerISBN: 978-3-642-44474-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Platzer Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics2010Verlag: SpringerISBN: 978-3-642-14508-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sutcliffe / Platzer Automated Deduction - CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-79875-8Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Meyer / Wehrheim / Platzer Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23505-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Meyer / Platzer / Wehrheim Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23506-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar
-
Platzer / Rossi / Rozier Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9¿13, 2024, Proceedings, Part I2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-71161-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
