This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
Continue readingThis volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Continue readingEmerging as an important new volume in the renowned Cancer Drug Discovery and Development™ series, Deoxynucleoside Analogs ...
Continue readingThis tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Continue readingMechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
Continue readingThis book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Continue readingContains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
Continue readingThis book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Continue readingIt is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...
Continue readingThis book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...
Continue readingThis book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Continue readingThe present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Continue readingInnovative Internet Applications.’ Much has changed since then: wireless network technologies have become a constantly ...
Continue readingInnovative Internet Applications.’ Much has changed since then: wireless network technologies have become a constantly ...
Continue readingThis book gives a detailed account of some recent developments in the field of probability and statistics for dependent data. ...
Continue readingThis book gives a detailed account of some recent developments in the field of probability and statistics for dependent data. ...
Continue readingWhether building a console application, a web service, or a smart client, you eventually need to distribute your finished ...
Continue readingIn Depression and Globalization, Carl Walker analyzes the human cost of recent political and economic events as main contributors ...
Continue readingIn this concise yet comprehensive volume, leading clinicians, researchers, and academics offer extensive research and clinical ...
Continue readingThis volume is based on the 'Early Carnap in Context’ workshop that took place in Konstanz in 2017 and looks at Rudolf ...
Continue reading