This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence ...
WeiterlesenThis volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Weiterlesen
comprises the select peer-reviewed proceedings of the National Conference on Renewable Energy and Sustainable Environment ...
Weiterlesen
This volume provides a unique collection of papers written in honor of the 70th birthday of Suguru Arimoto who has long been ...
Weiterlesen
Reviews the progress made in salivary diagnostics during the past two decades and identifies the likely direction of future ...
Weiterlesen
The chapters in this volume were presented at the July 2005NATO Advanced Study Institute on Advances in Sensing with Security ...
Weiterlesen
The book documents the state-of-the-art in Services Science. It combines contributions in Service Engineering, Service Management ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
Weiterlesen
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
Weiterlesen
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; ...
Weiterlesen
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; ...
Weiterlesen
The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, ...
Weiterlesen
This volume, an outgrowth of an "International Conference on Statistical Methods in Health Sciences," covers a wide range ...
Weiterlesen
Advances in Systems, Computing Sciences and Software Engineering This book includes the proceedings of the International ...
Weiterlesen
This volume is the first book to cover the general topic of targeted cancer therapy. It presents a range of targets such ...
Weiterlesen
The main purpose of this book is to provide readers with recent advances in the field of Telerobotics. It describes methods, ...
Weiterlesen
This volume comprises the communications presented at the ETC 11, the EUROMECH European Turbulence Conference held in 2007 ...
Weiterlesen
The future of Earth’s ecosystems is increasingly influenced by the pace and patterns of urbanization. One of the greatest ...
Weiterlesen
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Weiterlesen