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