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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Modeling Decisions for Artificial Intelligence (vol. # 3885)
This book constitutes the refereed proceedings of the Third International Conference on Modeling Decisions for Artificial ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suiteModeling of Creep for Structural Analysis
"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress ...
Lire la suite
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 ...
Lire la suite
Modelling Community Structure in Freshwater Ecosystems
"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely ...
Lire la suite
Modelling Distributed Systems
Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...
Lire la suite
Modelling Environmental Dynamics : Advances in Geomatic Solutions
Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response ...
Lire la suite
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 ...
Lire la suite
Modelling and Simulation
Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader with a balanced and integrated presentation ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suiteModern 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 ...
Lire la suiteModernizing 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 ...
Lire la suite
