Electronic Books

Total Books: 701 - 720 /1190

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 ...

Total Books: 701 - 720 /1190