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 ...
اقرأ المزيد
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 Decisions for Artificial Intelligence
Decision modeling is a key area in the developing field of AI, and this timely work connects researchers and professionals ...
اقرأ المزيد
Modeling Decisions for Artificial Intelligence (vol. # 3885)
This book constitutes the refereed proceedings of the Third International Conference on Modeling Decisions for Artificial ...
اقرأ المزيد
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 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 Simulation for RF System Design
The focus of Modeling and Simulation for RF System Design lies on RF specific modeling and simulation methods and the consideration ...
اقرأ المزيدModeling of Creep for Structural Analysis
"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress ...
اقرأ المزيد
Modelling Autonomic Communications Environments : Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE ...
اقرأ المزيد
Modelling Community Structure in Freshwater Ecosystems
"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely ...
اقرأ المزيد
Modelling Distributed Systems
Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...
اقرأ المزيد
Modelling Environmental Dynamics : Advances in Geomatic Solutions
Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response ...
اقرأ المزيد
Modelling Land-Use Change
land-use change simulation modelling is a relatively new and dynamic field of study and this book provides a full overview ...
اقرأ المزيد
Modelling and Simulation
Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader with a balanced and integrated presentation ...
اقرأ المزيد
Modelling, Computation and Optimization in Information Systems and Management Sciences : Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Conference MCO 2008, Metz, France, September 2008.The ...
اقرأ المزيد
Models in Cooperative Game Theory
Cooperative game theory is a booming research area with many new developments in the last few years. So, our main purpose ...
اقرأ المزيد
Models in Software Engineering : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
اقرأ المزيد
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
اقرأ المزيدModern clinic design : strategies for an era of change / Christine Guzzo Vickery, Gary Nyberg, Douglas Whiteaker
A comprehensive guide to optimizing patient experience through the design of the built environment. Written by a team of ...
اقرأ المزيدModernizing the Academic Teaching and Research Environment : Methodologies and Cases in Business Research / Jorge Marx Gómez, Sulaiman Mouselli
Constitutes a valuable manual for young and seasoned business researchers alike, and provides a comprehensive summary for ...
اقرأ المزيد
