This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ...
Lee mas
This book analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, ...
Lee mas
"In today's fast-paced, often-dehumanizing world, increasing positive adult involvement and influence is particularly vital. ...
Lee masMany applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of ...
Lee mas
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lee mas
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
The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of ...
Lee mas
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lee mas
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lee mas
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lee mas
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Lee mas
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Lee mas
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Lee mas
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lee mas
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 are important in many areas of science and engineering. How does a system with many degrees ...
Lee mas
This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses ...
Lee mas
This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption ...
Lee mas
This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...
Lee mas
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Lee mas