Browse Results

Showing 38,526 through 38,550 of 61,748 results
Title Author ISBN Copyright Features Action
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

Refine Search

Showing 38,526 through 38,550 of 61,748 results