Electronic Books

Total Books: 1201 - 1220 /1900
978-3-540-73370-6
Model Checking Software

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Continue reading
978-3-540-31899-6
Model Checking Software (vol. # 3639)

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

Continue reading
978-3-540-31819-4
Model Driven Architecture

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...

Continue reading
978-3-540-32093-7
Model Driven Architecture - Foundations and Applications

Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...

Continue reading
978-3-540-69100-6
Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Continue reading
978-3-540-32182-8
Model Driven Architecture and Ontology Development

Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...

Continue reading
978-3-540-72901-3
Model Driven Architecture- Foundations and Applications

This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...

Continue reading
978-3-540-75209-7
Model Driven Engineering Languages and Systems

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...

Continue reading
978-3-540-32057-9
Model Driven Engineering Languages and Systems (vol. # 3713)

Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...

Continue reading
978-3-540-45773-2
Model Driven Engineering Languages and Systems (vol. # 4199)

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...

Continue reading
978-3-540-87875-9
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Continue reading
978-3-540-35888-6
Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena

Model reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees ...

Continue reading
978-1-4020-2888-5
Model and Design of Bipolar and MOS Current-Mode Logic

many works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic ...

Continue reading
978-3-319-65433-1
Model-Based Demography

This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption ...

Continue reading
NoIMG
Model-Based Reasoning in Science, Technology, and Medicine

The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...

Continue reading
978-3-540-78999-4
Model-Based Software and Data Integration : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings

The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind ...

Continue reading
978-3-540-32037-1
Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

Continue reading
978-3-540-35910-4
Model-Driven Architecture - Foundations and Applications

The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...

Continue reading
978-3-540-71868-0
Model-Driven Architecture in Practice

This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...

Continue reading
978-3-540-30327-5
Model-Driven Design Using Business Patterns

This book takes exactly this step: it shows you how to apply the pattern ideas in business applications and presents more ...

Continue reading
Total Books: 1201 - 1220 /1900