Database Theory – ICDT 2007
The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive ...
Continue reading
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. ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Declarative Agent Languages and Technologies III
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
Continue reading
Declarative Agent Languages and Technologies IV
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
Continue reading
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 ...
Continue reading
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Continue reading
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? ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Dental Image Analysis for Disease Diagnosis
This book provides an overview of computational approaches to medical image examination and analysis in oral radiology utilizing ...
Continue reading
Dental Perspectives on Human Evolution
The objective of the volume is to bring together, in one collection, the most innovative dental anthropological research ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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
Continue reading
Design of Observational Studies
This book introduction to statistical inference in observational studies and a detailed discussion of the principles that ...
Continue reading
