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

Lee mas
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, ...

Lee mas
Mobilizing Adults for Positive Youth Development

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

Lee mas
NoIMG
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 ...

Lee mas
Modalities and Multimodalities

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

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

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

Lee mas
Model Checking Software

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

Lee mas
Model Checking Software (vol. # 3639)

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

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

Lee mas
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, ...

Lee mas
Model Driven Engineering Languages and Systems

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

Lee mas
Model Driven Engineering Languages and Systems (vol. # 3713)

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

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

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

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

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

Lee mas
Model-Based Demography

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

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

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

Lee mas
Total Books: 5821 - 5840 /9757