Electronic Books

Total Books: 5821 - 5840 /9757

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

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

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

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

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

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

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

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

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

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 are important in many areas of science and engineering. How does a system with many degrees ...

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

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

Total Books: 5821 - 5840 /9757