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