Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
اقرأ المزيد
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
اقرأ المزيد
Model Checking Software (vol. # 3925)
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
اقرأ المزيد
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
اقرأ المزيد
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-Based Demography
This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption ...
اقرأ المزيد
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology
This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...
اقرأ المزيد
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 Excitable Tissue The EMI Framework
This volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach ...
اقرأ المزيد
Modeling Uncertainty
Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends ...
اقرأ المزيد
Modeling and Computation of Boundary-Layer Flows
This second edition of our book extends the modeling and calculation of boundary-layer flows to include compressible flows. ...
اقرأ المزيد
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 of Adhesively Bonded Joints
A lot of recent developments have been made about adhesively bonded joints modeling using various methods of analysis. The ...
اقرأ المزيدModeling of Creep for Structural Analysis
"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress ...
اقرأ المزيد
Modeling of Metal Forming and Machining Processes : by Finite Element and Soft Computing Methods
The physics of metal forming and metal removing is normally expressed using non-linear partial differential equations which ...
اقرأ المزيدModeling, Control and Implementation of Smart Structures
This monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration ...
اقرأ المزيدModeling, Estimation and Control
Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- ...
اقرأ المزيد
Modelling Regional Scenarios for the Enlarged Europe
The aim of this book is to tackle the question of what the European territory will look like over the next fifteen years ...
اقرأ المزيد
