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