Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Lecture Notes in Computer Science #11636)
2957874
|
Axel Legay
Fabrizio Biondi
Thomas Given-Wilson
|
9783030309237 |
2019 |
Contains images
|
|
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes in Computer Science #12864)
4215666
|
Ana Sokolova
Alfons Laarman
|
9783030846299 |
2021 |
Contains images
|
|
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science #13255)
5033753
|
Grigore Rosu
Owolabi Legunsen
|
9783031150777 |
2022 |
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: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (Lecture Notes in Computer Science #14624)
6213802
|
Anton Wijs
Thomas Neele
|
9783031661495 |
2025 |
Contains images
|
|
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Lecture Notes in Computer Science #13030)
4368891
|
Bernhard Steffen
Ernst-Rüdiger Olderog
Wang Yi
|
9783030913847 |
2021 |
Contains images
|
|
Model Checking, second edition (Cyber Physical Systems Series)
3494437
|
Daniel Kroening
Doron Peled
Edmund M. Clarke
Helmut Veith
Orna Grumberg
|
9780262349451 |
2018 |
Contains images
|
|
Model Choice in Nonnested Families
1535579
|
Basilio De Pereira
Carlos Alberto Pereira
|
9783662537367 |
2016 |
Contains images
|
|
Model Driven Engineering and Ontology Development
667025
|
Dragan Gaševic
Vladan Devedžic
Dragan Djuric
Jean Bézivin
Bran V. Selic
|
9783642002823 |
2009 |
Contains images
|
|
Model Driven SOA
1431177
|
Gerhard Rempp
Jens Lehmann
Mark Akermann
Martin Löffler
|
9783642144707 |
2010 |
Contains images
|
|
Model Free Adaptive Control: Theory and Applications
6322481
|
Zhongsheng Hou
Shangtai Jin
|
9781040073049 |
2014 |
Contains images
|
|
Model Optimization Methods for Efficient and Edge AI: Federated Learning Architectures, Frameworks and Applications
6285345
|
Robert Colby
Pethuru Raj Chelliah
Amir Masoud Rahmani
Gayathri Nagasubramanian
Sunku Ranganath
|
9781394219223 |
2025 |
Contains images
|
|
Model Predictive Vibration Control
650854
|
Boris Rohaľ-Ilkiv
Gergely Takács
|
9781447123330 |
2012 |
Contains images
|
|
Model Reduction of Complex Dynamical Systems (International Series of Numerical Mathematics #171)
4258677
|
Peter Benner
Michael Hinze
Tatjana Stykel
Ralf Zimmermann
Tobias Breiten
Heike Faßbender
|
9783030729837 |
2021 |
Contains images
|
|
Model Selection and Error Estimation in a Nutshell (Modeling and Optimization in Science and Technologies #15)
2697115
|
Luca Oneto
|
9783030243593 |
2020 |
Contains images
|
|
Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II: LEAP-ASIA-2019
5901460
|
Tetsuo Tobita
Koji Ichii
Kyohei Ueda
|
9783031488214 |
2024 |
Contains images
|
|
Model Validation and Uncertainty Quantification, Vol. 3: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics 2024 (Conference Proceedings of the Society for Experimental Mechanics Series)
6264245
|
Roland Platz
Garrison Flynn
Kyle Neal
Scott Ouellette
|
9783031688935 |
2025 |
Contains images
|
|
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 38th IMAC, A Conference and Exposition on Structural Dynamics 2020 (Conference Proceedings of the Society for Experimental Mechanics Series)
3656081
|
Zhu Mao
|
9783030476380 |
2020 |
Contains images
|
|
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 (Conference Proceedings of the Society for Experimental Mechanics Series)
5948572
|
Roland Platz
Garrison Flynn
Kyle Neal
Scott Ouellette
|
9783031370038 |
2024 |
Contains images
|
|
Model and Data Engineering
1725059
|
Alberto Abelló
Ladjel Bellatreche
Yassine Ouhammou
Mirjana Ivanovic
|
9783319668543 |
2017 |
Contains images
|
|
Model and Data Engineering
1530549
|
Ladjel Bellatreche
Óscar Pastor
Jesús M. Almendros Jiménez
Yamine Aït-Ameur
|
9783319455471 |
2012 |
Contains images
|
|
Model and Data Engineering
1410964
|
Ladjel Bellatreche
Yannis Manolopoulos
|
9783319237817 |
2015 |
Contains images
|
|
Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings (Lecture Notes in Computer Science #12732)
4146238
|
Christian Attiogbé
Sadok Ben Yahia
|
9783030784287 |
2021 |
Contains images
|
|
Model and Data Engineering: 11th International Conference, MEDI 2022, Cairo, Egypt, November 21–24, 2022, Proceedings (Lecture Notes in Computer Science #13761)
5103099
|
Ladjel Bellatreche
Philippe Fournier-Viger
Ahmed Hassan
|
9783031215957 |
2023 |
Contains images
|
|
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings (Lecture Notes in Computer Science #14396)
5847187
|
Faiez Gargouri
Ladjel Bellatreche
Mohamed Mosbah
Tahar Kechadi
|
9783031493331 |
2024 |
Contains images
|
|