Electronic Books

Total Books: 701 - 720 /1190

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 10th International Conference on Model Driven Engineering Languages ...

Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

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

This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...

This volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach ...

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

This second edition of our book extends the modeling and calculation of boundary-layer flows to include compressible flows. ...

Modeling and computations in electromagnetics is a quite novel and growing discipline, expanding as a result of the steadily ...

A lot of recent developments have been made about adhesively bonded joints modeling using various methods of analysis. The ...

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

The physics of metal forming and metal removing is normally expressed using non-linear partial differential equations which ...

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

Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- ...

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