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