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