This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Weiterlesen
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Weiterlesen
This book provides new insights into the relationships between religion and demography during the crucial period of the nineteenth ...
Weiterlesen
Offers a trusted, completely updated source of information for education, training, and development of pharmacists. Published ...
Weiterlesen
Lessons learned in the last several years have given clear indications that the prediction and efficient monitoring of disasters ...
WeiterlesenOur project aims to design and implement a computer-controlled remote laboratory that can be accessed and controlled via ...
Weiterlesen
This monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation ...
Weiterlesen
The book summarizes existing knowledge regarding problem representations and describes how basic properties of representations, ...
Weiterlesen
While supply chain management has risen to great prominence in recent year, there are hardly related developments in research ...
Weiterlesen
This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
WeiterlesenRESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXI The papers in this volume present new and innovative developments in ...
Weiterlesen
From RECOMB 2005, the Steering Committee decided to publish the proceedings as a volume of Lecture Notes in Bioinf- matics ...
Weiterlesen
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Weiterlesen
This book describes how elite studies theoretically and methodologically construct their object, i.e. how particular conceptualizations ...
Weiterlesen
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Weiterlesen
The main objective of this book is to provide tools for better understa- ing the fundamental tradeo?s and interdependencies ...
Weiterlesen
Retinal Degenerations is the result of the International Symposium on Retinal degeneration which has become perhaps the most ...
Weiterlesen
The aim of this book is to analyse specific sets of macro and structural policies in selected Eastern European countries. ...
Weiterlesen
Despite significant pharmacological advances, the backbone of the most highly active antiretroviral therapy regimens for ...
Weiterlesen
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Weiterlesen