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