E-book Search
E-Book Title Author Publisher ISBN Copyright Year Status
Model Checking Software Patrice Godefroid Springer _ 2005
Model Checking Software Thomas BallSriram K. Rajamani Springer _ 2003
Model Checking Software Dragan Bo�na?kiStefan Leue Springer _ 2002
Model Driven Architecture Uwe A�mannMehmet AksitArend Rensink Springer _ 2005
Model Driven Architecture - Foundations and Applications Richard F. PaigeAlan HartmanArend Rensink Springer _ 2009
Model Driven Architecture � Foundations and Applications Alan HartmanDavid Kreische Springer _ 2005
Model Driven Architecture � Foundations and Applications Arend RensinkJos Warmer Springer _ 2006
Model Driven Architecture � Foundations and Applications Ina SchieferdeckerAlan Hartman Springer _ 2008
Model Driven Architecture- Foundations and Applications David H. AkehurstR�gis VogelRichard F. Paige Springer _ 2007
Model Driven Engineering Languages and Systems Dorina C. PetriuNicolas Rouquette�ystein Haugen Springer _ 2010
Model Driven Engineering Languages and Systems Jon WhittleTony ClarkThomas K�hne Springer _ 2011
Model Driven Engineering Languages and Systems Robert B. FranceJ�rgen KazmeierRuth BreuColin Atkinson Springer 9783642336669 2012
Model Driven Engineering Languages and Systems Krzysztof CzarneckiIleana OberJean-Michel BruelAxel UhlMarkus V�lter Springer _ 2008
Model Driven Engineering Languages and Systems Gregor EngelsBill OpdykeDouglas C. SchmidtFrank Weil Springer _ 2007
Model Driven Engineering Languages and Systems Dorina C. PetriuNicolas Rouquette�ystein Haugen Springer _ 2010
Model Driven Engineering Languages and Systems Lionel BriandClay Williams Springer _ 2005
Model Driven Engineering Languages and Systems Oscar NierstraszJon WhittleDavid HarelGianna Reggio Springer _ 2006
Model Driven Engineering Languages and Systems Andy Sch�rrBran Selic Springer _ 2009
Model Generation for Natural Language Interpretation and Analysis Karsten Konrad Springer _ 2004
Model-Based Engineering of Embedded Real-Time Systems Holger GieseGabor KarsaiEdward LeeBernhard RumpeBernhard Sch�tz Springer _ 2010
Model-Based Testing of Reactive Systems Manfred BroyBengt JonssonJoost-Pieter KatoenMartin LeuckerAlexander Pretschner Springer _ 2005
Model-Checking Based Data Retrieval Elisa Quintarelli Springer _ 2004
Model-Driven Development of Reliable Automotive Services Manfred BroyIngolf H. Kr�gerMichael Meisinger Springer _ 2008
Modeling and Mining Ubiquitous Social Media Martin AtzmuellerAlvin ChinDenis HelicAndreas Hotho Springer 9783642336843 2012
Modeling and Retrieval of Context Thomas R. Roth-BerghoferStefan SchulzDavid B. Leake Springer _ 2006

Contact Us