Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد
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. ...
اقرأ المزيد
Model Order Reduction: Theory, Research Aspects and Applications
The goal of this book is three-fold: it describes the basics of model order reduction and related aspects. In numerical linear ...
اقرأ المزيد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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Model-Driven Architecture in Practice
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
اقرأ المزيد
Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools
The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...
اقرأ المزيد
Modeling Complex Living Systems
Using tools from mathematical kinetic theory and stochastic game theory, this work deals with the modeling of large complex ...
اقرأ المزيد
Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
اقرأ المزيد
Modeling Excitable Tissue The EMI Framework
This volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach ...
اقرأ المزيد
Modeling Financial Time Series with S-PLUS®
This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...
اقرأ المزيد
Modeling Financial Time Series with S-PLUS®
This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...
اقرأ المزيد
Modeling Foundations of Economic Property Rights Theory
The idea is to construct a kind of mathematical application in which any fundamental formal entity and/or operation has an ...
اقرأ المزيد
Modeling Longitudinal Data
This book teaches the art and statistical science of modern longitudinal data analysis. The author emphasizes specifying, ...
اقرأ المزيد
Modeling Semantic Web Services : The Web Service Modeling Language
In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description ...
اقرأ المزيد
Modeling Uncertainty
Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends ...
اقرأ المزيد
Modeling and Computations in Electromagnetics : A Volume Dedicated to Jean-Claude Nédélec
Modeling and computations in electromagnetics is a quite novel and growing discipline, expanding as a result of the steadily ...
اقرأ المزيد
Modeling and Management of Fuzzy Semantic RDF Data / Zongmin Ma, Guanfeng Li, Ruizhe Ma
Presents the latest research findings in fuzzy RDF data modeling and management. Fuzziness widely exist in many data and ...
اقرأ المزيد
