Model-Based Approaches to the Internet of Things
5097484
|
Pascal Hirmer
|
9783031188848 |
2023 |
Contains images
|
|
Model-Based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
5386243
|
Gabriela Nicolescu
Pieter J. Mosterman
|
9781351834711 |
2009 |
Contains images
|
|
Model-Based Design of Adaptive Embedded Systems
655574
|
Twan Basten
Frans Reckers
Jacques Verriet
Roelof Hamberg
|
9781461448211 |
2013 |
Contains images
|
|
Model-Based Development and Evolution of Information Systems
1390897
|
John Krogstie
|
9781447129363 |
2012 |
Contains images
|
|
Model-Based Enterprise: Achieving Lasting Value with MBD and MBE
6434609
|
null Bryan R. Fischer
|
9781040226858 |
2025 |
Contains images
|
|
Model-based Health Monitoring of Hybrid Systems
1411686
|
Shai Arogeti
Danwei Wang
Chang Boon Low
Ming Yu
|
9781461473695 |
2013 |
Contains images
|
|
Model Based Parameter Estimation: Theory and Applications
1400037
|
Johannes P. Schlöder
Rolf Rannacher
Stefan Körkel
Thomas Carraro
Willi Jäger
Hans Georg Bock
|
9783642303678 |
2013 |
Contains images
|
|
Model-Based Reasoning, Abductive Cognition, Creativity: Inferences and Models in Science, Logic, Language, and Technology (Studies in Applied Philosophy, Epistemology and Rational Ethics #70)
6297656
|
Emiliano Ippoliti
Lorenzo Magnani
Selene Arfini
|
9783031693007 |
2024 |
Contains images
|
|
Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues
1388409
|
Lorenzo Magnani
|
9783642374289 |
2014 |
Contains images
|
|
Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation (Studies in Applied Philosophy, Epistemology and Rational Ethics #49)
2958117
|
Ángel Nepomuceno-Fernández
Lorenzo Magnani
Francisco J. Salguero-Lamillar
Cristina Barés-Gómez
Matthieu Fontaine
|
9783030327224 |
2019 |
Contains images
|
|
Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings (Lecture Notes in Computer Science #11842)
3003628
|
Yiannis Papadopoulos
Koorosh Aslansefat
Panagiotis Katsaros
Marco Bozzano
|
9783030328726 |
2019 |
Contains images
|
|
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings (Lecture Notes in Computer Science #13525)
4853740
|
Christel Seguin
Marc Zeller
Tatiana Prosvirnova
|
9783031158421 |
2022 |
Contains images
|
|
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science #12297)
3600550
|
Marc Zeller
Kai Höfig
|
9783030589202 |
2020 |
Contains images
|
|
Model-Based Software Performance Analysis
1391734
|
Paola Inverardi
Vittorio Cortellessa
Antinisca Di Marco
|
9783642136214 |
2010 |
Contains images
|
|
Model-Based System Architecture
1398266
|
Stephan Roth
Tim Weilkiens
Jesko G. Lamm
Markus Walker
|
9781119052081 |
2016 |
Contains images
|
|
Model-based Systems Architecting: Using CESAM to Architect Complex Systems
4594763
|
Daniel Krob
|
9781119988489 |
2022 |
Contains images
|
|
Model-Based Systems Engineering with OPM and SysML
1430924
|
Dov Dori
|
9781493932955 |
2016 |
Contains images
|
|
Model-Based Testing for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
3111604
|
Justyna Zander
|
9781351833912 |
2012 |
Contains images
|
|
Model-based Visual Tracking
841758
|
Giorgio Panin
|
9781118002131 |
2011 |
Contains images
|
|
Model Checking Quantum Systems: Principles and Algorithms
3807087
|
Mingsheng Ying
Yuan Feng
|
9781108755115 |
2021 |
Contains images
|
|
Model Checking, second edition (Cyber Physical Systems Series)
3494437
|
Edmund M. Clarke
Orna Grumberg
Daniel Kroening
Doron Peled
Helmut Veith
|
9780262349451 |
2018 |
Contains images
|
|
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Lecture Notes in Computer Science #11636)
2957874
|
Fabrizio Biondi
Thomas Given-Wilson
Axel Legay
|
9783030309237 |
2019 |
Contains images
|
|
Model Checking Software
1398552
|
Dragan Bošnački
Anton Wijs
|
9783319325828 |
2016 |
Contains images
|
|
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings (Lecture Notes in Computer Science #13872)
5313797
|
Georgiana Caltais
Christian Schilling
|
9783031321573 |
2023 |
Contains images
|
|
Model Checking Software
1398927
|
Bernd Fischer
Jaco Geldenhuys
|
9783319234045 |
2015 |
Contains images
|
|