Browse Results

Showing 29,301 through 29,325 of 82,995 results
Title Author ISBN Copyright Features Action
Model-Driven Dependability Assessment of Software Systems 4712025 Simona Bernardi José Merseguer Dorina Corina Petriu 9783642395123 2013 Contains images
Model-Driven-Configuration-Management: Ein modellgetriebener Ansatz für das Konfigurationsmanagement von IT-Systemlandschaften 4616560 Sebastian Herden 9783658011079 2013
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling 4605229 Oscar Pastor Juan Carlos Molina 9783540718680 2007
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings (Lecture Notes in Computer Science #4530) 4607128 David Akehurst Regis Vogel Richard Paige 9783540729013 2007
Model Driven Architecture - Foundations and Applications: First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings (Lecture Notes in Computer Science #3748) 4770570 Alan Hartman David Kreische 9783540320937 2005
Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings (Lecture Notes in Computer Science #5562) 4820388 Richard F. Paige Alan Hartman Arend Rensink 9783642026744 2009
Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings (Lecture Notes in Computer Science #5095) 4779376 Ina Schieferdecker Alan Hartman 9783540691006 2008
Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings (Lecture Notes in Computer Science #4066) 4791550 Jos Warmer Arend Rensink 9783540359104 2006
Model Driven Architecture and Ontology Development 4758327 Dragan Gaševic Dragan Djuric Vladan Devedžic 9783540321828 2006
Model Driven Architecture: European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers (Lecture Notes in Computer Science #3599) 4688619 Uwe Aßmann Mehmet Aksit Arend Rensink 9783540318194 2005
Model-Driven and Software Product Line Engineering 2785078 Jean-Claude Royer Hugo Arboleda 9781118569733 2012 Contains images
Model-Driven and Software Product Line Engineering 2936885 Jean-Claude Royer Hugo Arboleda 9781118569795 2012
Model Development and Optimization (Applied Optimization #28) 3775954 V.V. Ivanov 9781461540625 1999
Model Design and Simulation Analysis: 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers (Communications in Computer and Information Science #603) 2905899 Syng Yup Ohn Sung Do Chi 9789811021589 2016 Contains images
Model Construction with GPSS-FORTRAN Version 3 3744280 Bernd Schmidt 9781461247487 1987
Model Choice in Nonnested Families (SpringerBriefs in Statistics) 2889421 Basilio de Pereira Carlos Alberto Pereira 9783662537367 2016 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) 4367888 Ernst-Rüdiger Olderog Bernhard Steffen Wang Yi 9783030913847 2021 Contains images
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science #2648) 4828737 Thomas Ball Sriram K. Rajamani 9783540448297 2003
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Lecture Notes in Computer Science #7976) 4696771 Ezio Bartocci C. R. Ramakrishnan 9783642391767 2013
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Lecture Notes in Computer Science #11636) 2927621 Fabrizio Biondi Thomas Given-Wilson Axel Legay 9783030309237 2019 Contains images
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science #9641) 2843895 Dragan Bošnački Anton Wijs 9783319325828 2016 Contains images
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science #4595) 4798848 Dragan Bosnacki Stefan Edelkamp 9783540733706 2007
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science #2318) 4730016 Dragan Bosnacki Stefan Leue 9783540460176 2002
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings (Lecture Notes in Computer Science #13872) 5313462 Georgiana Caltais Christian Schilling 9783031321573 2023 Contains images
Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Lecture Notes in Computer Science #7385) 4632531 Alastair Donaldson David Parker 9783642317590 2012

Refine Search

Showing 29,301 through 29,325 of 82,995 results