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