![Logical Foundations of Cyber-Physical Systems Logical Foundations of Cyber-Physical Systems](https://bilder.buecher.de/produkte/57/57116/57116318m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st edition 2018
8. Februar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-09697-7
Gebundenes Buch | 42,99 € | |
eBook, PDF | 40,95 € |
![Logical Foundations of Cyber-Physical Systems Logical Foundations of Cyber-Physical Systems](https://bilder.buecher.de/produkte/48/48484/48484247m.jpg)
Gebundenes Buch
1st edition 2018
11. August 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-63587-3
![Logical Analysis of Hybrid Systems Logical Analysis of Hybrid Systems](https://bilder.buecher.de/produkte/42/42162/42162890m.jpg)
Broschiertes Buch
Proving Theorems for Complex Dynamics
2010
28. November 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-44474-6
Gebundenes Buch | 77,99 € | |
eBook, PDF | 73,95 € |
![Logical Analysis of Hybrid Systems Logical Analysis of Hybrid Systems](https://bilder.buecher.de/produkte/30/30519/30519869m.jpg)
Gebundenes Buch
Proving Theorems for Complex Dynamics
2010
5. September 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
12747917,978-3-642-14508-7
![Logical Foundations of Cyber-Physical Systems (eBook, PDF) Logical Foundations of Cyber-Physical Systems (eBook, PDF)](https://bilder.buecher.de/produkte/54/54787/54787315m.jpg)
eBook, PDF
30. Juli 2018
Springer International Publishing
![Logical Analysis of Hybrid Systems (eBook, PDF) Logical Analysis of Hybrid Systems (eBook, PDF)](https://bilder.buecher.de/produkte/37/37365/37365672m.jpg)
eBook, PDF
2. September 2010
Springer Berlin Heidelberg
Ähnliche Artikel
![Resilience of Cyber-Physical Systems Resilience of Cyber-Physical Systems](https://bilder.buecher.de/produkte/52/52844/52844493m.jpg)
Gebundenes Buch
From Risk Modelling to Threat Counteraction
1st edition 2019
7. Februar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-319-95596-4
![Data-Driven Prediction for Industrial Processes and Their Applications Data-Driven Prediction for Industrial Processes and Their Applications](https://bilder.buecher.de/produkte/52/52623/52623789m.jpg)
Gebundenes Buch
1st edition 2018
30. August 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-94050-2
![Data-Driven Prediction for Industrial Processes and Their Applications Data-Driven Prediction for Industrial Processes and Their Applications](https://bilder.buecher.de/produkte/57/57378/57378649m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st edition 2018
22. Dezember 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-06785-4
![Software Fault Detection and Correction: Modeling and Applications Software Fault Detection and Correction: Modeling and Applications](https://bilder.buecher.de/produkte/52/52671/52671704m.jpg)
Broschiertes Buch
1st ed. 2018
13. November 2018
Springer / Springer Nature Singapore / Springer, Berlin
978-981-13-1161-1
![Introduction to Diagnosis of Active Systems Introduction to Diagnosis of Active Systems](https://bilder.buecher.de/produkte/56/56918/56918013m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st edition 2018
26. Januar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-06503-4
![Understanding Modern Dive Computers and Operation Understanding Modern Dive Computers and Operation](https://bilder.buecher.de/produkte/52/52596/52596883m.jpg)
Broschiertes Buch
Protocols, Models, Tests, Data, Risk and Applications
1st edition 2018
15. Oktober 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-94053-3
![Formal Methods for Nonmonotonic and Related Logics Formal Methods for Nonmonotonic and Related Logics](https://bilder.buecher.de/produkte/51/51438/51438368m.jpg)
Gebundenes Buch
Vol II: Theory Revision, Inheritance, and Various Abstract Properties
1st edition 2018
14. November 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-89649-6
![Formal Methods for Nonmonotonic and Related Logics Formal Methods for Nonmonotonic and Related Logics](https://bilder.buecher.de/produkte/51/51440/51440081m.jpg)
Gebundenes Buch
Vol I: Preference and Size
1st edition 2018
14. November 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-89652-6
![Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems](https://bilder.buecher.de/produkte/55/55407/55407715m.jpg)
Broschiertes Buch
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
1st edition 2019
4. April 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-17461-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON