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
|
|
Model and Data Engineering: 13th International Conference, MEDI 2024, Naples, Italy, November 18–20, 2024, Proceedings (Lecture Notes in Computer Science #15590)
6553022
|
Ladjel Bellatreche
Elio Masciari
Carlos Ordonez
Giancarlo Sperlì
|
9783031877193 |
2025 |
Contains images
|
|
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings (Lecture Notes in Computer Science #11163)
2297116
|
Ladjel Bellatreche
Carlos Ordonez
El Hassan Abdelwahed
Mattéo Golfarelli
Dominique Méry
|
9783030008567 |
2018 |
Contains images
|
|
Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11815)
5925947
|
Klaus-Dieter Schewe
Neeraj Kumar Singh
|
9783030320652 |
2019 |
Contains images
|
|
Model and Design of Improved Current Mode Logic Gates: Differential and Single-ended
2959425
|
Kirti Gupta
Neeta Pandey
Maneesha Gupta
|
9789811509827 |
2020 |
Contains images
|
|
Model-Based Approaches to the Internet of Things
5097484
|
Pascal Hirmer
|
9783031188848 |
2023 |
Contains images
|
|