Browse Results

Showing 39,026 through 39,050 of 59,427 results
Title Author ISBN Copyright Features Action
Model Checking Software 1398927 Bernd Fischer Jaco Geldenhuys 9783319234045 2015 Contains images
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science #10869) 2118648 María Del Gallardo Pedro Merino 9783319941110 2018 Contains images
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes in Computer Science #12864) 4215666 Alfons Laarman Ana Sokolova 9783030846299 2021 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 Thomas Neele Anton Wijs 9783031661495 2025 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, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Lecture Notes in Computer Science #13030) 4368891 Ernst-Rüdiger Olderog Bernhard Steffen Wang Yi 9783030913847 2021 Contains images
Model Choice in Nonnested Families 1535579 Basilio De Pereira Carlos Alberto Pereira 9783662537367 2016 Contains images
Model-Driven and Software Product Line Engineering 851442 Jean-Claude Royer Hugo Arboleda 9781118569733 2012 Contains images
Model-Driven Dependability Assessment of Software Systems 1402264 Simona Bernardi José Merseguer Dorina Corina Petriu 9783642395123 2013 Contains images
Model-Driven Design Using IEC 61499 1404236 Li Hsien Yoong Partha S. Roop Zeeshan E. Bhatti Matthew M. Y. Kuo 9783319105215 2015 Contains images
Model-Driven Development and Operation of Multi-Cloud Applications 1530715 Elisabetta Nitto Peter Matthews Dana Petcu Arnor Solberg 9783319460314 2017 Contains images
Model-Driven Development of Akoma Ntoso Application Profiles: A Conceptual Framework for Model-Based Generation of XML Subschemas 5158885 Amelie Flatt Arne Langner Olof Leps 9783031141324 2022 Contains images
Model Driven Engineering and Ontology Development 667025 Dragan Djuric Dragan Gaševic Jean Bézivin Vladan Devedžic Bran V. Selic 9783642002823 2009 Contains images
Model-Driven Engineering and Software Development 1418545 Philippe Desfray Joaquim Filipe Slimane Hammoudi Luís Ferreira Pires 9783319278698 2015 Contains images
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers (Communications in Computer and Information Science #2106) 6204529 Francisco José Domínguez Mayo Luís Ferreira Pires Edwin Seidewitz 9783031663390 2024 Contains images
Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers (Communications in Computer and Information Science #1161) 3022767 Slimane Hammoudi Luís Ferreira Pires Bran Selić 9783030378738 2020 Contains images
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers (Communications in Computer and Information Science #1361) 3905443 Slimane Hammoudi Luís Ferreira Pires Bran Selić 9783030674458 2021 Contains images
Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers (Communications in Computer and Information Science #991) 2403926 Slimane Hammoudi Luís Ferreira Pires Bran Selic 9783030110307 2019 Contains images
Model-Driven Engineering and Software Development 1718816 Slimane Hammoudi Luís Ferreira Pires Bran Selic Philippe Desfray 9783319663029 2017 Contains images
Model-Driven Engineering and Software Development: 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers (Communications in Computer and Information Science #1708) 5512115 Luís Ferreira Pires Slimane Hammoudi Edwin Seidewitz 9783031388217 2023 Contains images
Model-Driven Engineering and Software Development: 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers (Communications in Computer and Information Science #880) 2118846 Luís Ferreira Pires Slimane Hammoudi Bran Selic 9783319947648 2018 Contains images
Model-Driven Engineering and Software Development 1615181 Rui César das Neves Joaquim Filipe Luís Ferreira Pires Slimane Hammoudi 9783319251561 2015 Contains images
Model-Driven Organizational and Business Agility: Second International Workshop, MOBA 2022, Leuven, Belgium, June 6–7, 2022, Revised Selected Papers (Lecture Notes in Business Information Processing #457) 5042299 Eduard Babkin Joseph Barjis Pavel Malyzhenkov Vojtěch Merunka 9783031177286 2022 Contains images
Model-Driven Organizational and Business Agility: Third International Workshop, MOBA 2023, Zaragoza, Spain, June 12–13, 2023, Revised Selected Papers (Lecture Notes in Business Information Processing #488) 5709723 Eduard Babkin Joseph Barjis Pavel Malyzhenkov Vojtěch Merunka Martin Molhanec 9783031450105 2023 Contains images
Model-Driven Risk Analysis: The CORAS Approach 1414892 Bjørnar Solhaug Ketil Stølen Mass Soldal Lund 9783642123238 2011 Contains images

Refine Search

Showing 39,026 through 39,050 of 59,427 results