Database Theory – ICDT 2007
The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive ...
Lire la suite
Decision Making with the Analytic Network Process
This book is a selection of applications of ANP to economic, social and political decisions, and also to technological design. ...
Lire la suite
Decision Procedures : An Algorithmic Point of View
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Lire la suite
Declarative Agent Languages and Technologies II
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...
Lire la suite
Declarative Agent Languages and Technologies III
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
Lire la suite
Declarative Agent Languages and Technologies IV
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
Lire la suite
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
Lire la suite
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lire la suite
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Lire la suite
Deep Brain Stimulation in Neurological and Psychiatric Disorders
Deep Brain Stimulation in Neurological and Psychiatric Disorders discusses today’s most current and cutting-edge applications ...
Lire la suite
Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits
Failures of nano-metric technologies owing to defects and shrinking process tolerances give rise to significant challenges ...
Lire la suite
Dental Image Analysis for Disease Diagnosis
This book provides an overview of computational approaches to medical image examination and analysis in oral radiology utilizing ...
Lire la suite
Dental Perspectives on Human Evolution
The objective of the volume is to bring together, in one collection, the most innovative dental anthropological research ...
Lire la suite
Deontic Logic and Artificial Normative Systems
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
Lire la suite
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Lire la suite
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Lire la suite
Der junge Carnap in historischem Kontext: 1918–1935 / Young Carnap in an Historical Context: 1918–1935
This volume is based on the 'Early Carnap in Context’ workshop that took place in Konstanz in 2017 and looks at Rudolf ...
Lire la suite
Design for Personalisation / Iryna Kuksa, Tom Fisher
Presents taxonomy of personalisation, and its potential consequences for the design profession as well as its ethical and ...
Lire la suite
Design of Embedded Control Systems
A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book
Lire la suite
Design of Observational Studies
This book introduction to statistical inference in observational studies and a detailed discussion of the principles that ...
Lire la suite
