Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lee mas
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lee mas
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 ...
Lee mas
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Lee mas
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Lee mas
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. ...
Lee mas
Model-Based Demography
This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Modeling Excitable Tissue The EMI Framework
This volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach ...
Lee mas
Modeling Uncertainty
Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
Modeling of Adhesively Bonded Joints
A lot of recent developments have been made about adhesively bonded joints modeling using various methods of analysis. The ...
Lee masModeling of Creep for Structural Analysis
"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress ...
Lee mas
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 ...
Lee masModeling, Control and Implementation of Smart Structures
This monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration ...
Lee masModeling, Estimation and Control
Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- ...
Lee mas
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 ...
Lee mas
