Electronic Books

Total Books: 1241 - 1260 /1984

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 Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Model Driven Architecture - Foundations and Applications

Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...

Model Driven Engineering Languages and Systems

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading LEAP-UCD-2017

This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses ...

Model-Based Demography

This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption ...

Model-Driven Development and Operation of Multi-Cloud Applications

In this book readers will find technological discussions on the existing and emerging technologies across the different stages ...

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...

Modeling Data Irregularities and Structural Complexities in Data Envelopment Analysis

DEA is computational at its core and this book by Zhu and Cook deals with the micro aspects of handling and modeling data ...

Modeling Longitudinal Data

This book teaches the art and statistical science of modern longitudinal data analysis. The author emphasizes specifying, ...

Modeling Performance Measurement

MODELING PERFORMANCE MEASUREMENT: Applications and Implementation Issues in DEA presents unified results from authors’ ...

Modeling Uncertainty

Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends ...

Modeling of Creep for Structural Analysis

"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress ...

Modelli Dinamici Discreti = Discrete Dynamic Models

Discrete mathematical modeling is one of the driving factors in modern mathematics research, and has played a role of synthesis ...

Modelling Environmental Dynamics : Advances in Geomatic Solutions

Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response ...

Modelling and Analysis of Hybrid Supervisory Systems

Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...

Modelling and Control of Mini-Flying Machines

Modelling and Control of Mini-Flying Machines is an exposition of models developed for various types of mini-aircraft. Modelling ...

Modelling and Reasoning with Vague Concepts

This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...

Total Books: 1241 - 1260 /1984