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