This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...
Lire la suite
This book represents a collection of papers presented at the 1st International workshop ‘Minerals as Advanced Materials ...
Lire la suite
This book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held ...
Lire la suite
The text of this book has its origins more than twenty- ve years ago. In the seminar of the Dutch Singularity Theory project ...
Lire la suite
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lire la suite
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lire la suite
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lire la suite
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Lire la suite
Using tools from mathematical kinetic theory and stochastic game theory, this work deals with the modeling of large complex ...
Lire la suiteThis monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
Lire la suite
The 41st volume in this series covers a range of topics that touch on issues of potential interest to those working in electrochemistry-related ...
Lire la suite
An accurate description of current scientific developments in the field of bioinformatics and computational implementation ...
Lire la suite
This book is a collection of invited chapters covering several areas of modern sliding mode control theory. The authors identify ...
Lire la suite
Explores in detail 30 of the most significant theatres, concert halls, opera houses and dance spaces that opened between ...
Lire la suite
This book is loaded with rich and stimulating articles by a roster of brilliant scholars, reflecting some recent trends in ...
Lire la suite
This book gives a comprehensive account of both the history and current achievements of molecular beam research. In 1919, ...
Lire la suite
This book contains a variety of subjects covering computational, dry and wet nanotechnology. The state-of-the-art subject ...
Lire la suiteA modern, comprehensive text and reference describing intermolecular forces, this book begins with coverage of the concepts ...
Lire la suite