Electronic Books

Total Books: 5821 - 5840 /9757

Mobilities of Knowledge

This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ...

Mobilities of the Highly Skilled towards Switzerland

This book analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, ...

Mobilizing Adults for Positive Youth Development

"In today's fast-paced, often-dehumanizing world, increasing positive adult involvement and influence is particularly vital. ...

Modal Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition

Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of ...

Modalities and Multimodalities

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control

The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...

Model Based Inference in the Life Sciences: A Primer on Evidence

The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of ...

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 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 Order Reduction: Theory, Research Aspects and Applications

The goal of this book is three-fold: it describes the basics of model order reduction and related aspects. In numerical linear ...

Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena

Model reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees ...

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

Total Books: 5821 - 5840 /9757