Electronic Books

Total Books: 1241 - 1260 /1984

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 1241 - 1260 /1984