Electronic Books

Total Books: 1141 - 1160 /1951

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 (vol. # 4199)

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

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 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-Driven Software Development

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...

Modeling Communication with Robots and Virtual Humans : Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also ...

Modeling Income Distributions and Lorenz Curves

The parameterization of income distributions and Lorenz Curves is a useful approach for representing how income is distributed ...

Modeling Solid Oxide Fuel Cells : Methods, Procedures and Techniques

The volume is structured in two parts. Part one presents the basic theory, and the general equations describing SOFC operation ...

Modeling Uncertainty

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

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 and Control of Discrete-event Dynamic Systems

Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...

Modeling and Management of Fuzzy Semantic RDF Data / Zongmin Ma, Guanfeng Li, Ruizhe Ma

Presents the latest research findings in fuzzy RDF data modeling and management. Fuzziness widely exist in many data and ...

Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics

The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...

Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics

The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...

Modeling of Creep for Structural Analysis

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

Modeling, Control and Implementation of Smart Structures

This monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration ...

Modelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems

This monograph presents a variety of techniques that can be used for designing robust fault diagnosis schemes for non-linear ...

Modelling in Mathematical Programming

This book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...

Total Books: 1141 - 1160 /1951