This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...
Continue readingThis book represents a collection of papers presented at the 1st International workshop ‘Minerals as Advanced Materials ...
Continue readingThis book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held ...
Continue readingThe text of this book has its origins more than twenty- ve years ago. In the seminar of the Dutch Singularity Theory project ...
Continue readingThis book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Continue readingConstitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Continue readinghe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Continue readingThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Continue readingUsing 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 readingThis book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
Continue readingThe 41st volume in this series covers a range of topics that touch on issues of potential interest to those working in electrochemistry-related ...
Continue readingAn accurate description of current scientific developments in the field of bioinformatics and computational implementation ...
Continue readingThis book is a collection of invited chapters covering several areas of modern sliding mode control theory. The authors identify ...
Continue readingExplores in detail 30 of the most significant theatres, concert halls, opera houses and dance spaces that opened between ...
Continue readingThis book is loaded with rich and stimulating articles by a roster of brilliant scholars, reflecting some recent trends in ...
Continue readingThis book gives a comprehensive account of both the history and current achievements of molecular beam research. In 1919, ...
Continue readingThis 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