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
Decision Science for Future Earth Theory and Practice
This book provides a theoretical framework and case studies on decision science for regional sustainability by integrating ...
Lee mas
Decision Support for Forest Management
While earlier books concerning forest planning have tended to focus on linear programming, economic aspects, or specific ...
Lee mas
Decoupling Control
Decoupling or non-interactive control has attracted considerable research attention since the 1960s when control engineers ...
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 Structure, Singularities, and Computer Vision
Constitutes the refereed post-proceedings of the First International Workshop on Deep Structure, Singularities, and Computer ...
Lee mas
Defect and Material Mechanics : Proceedings of the International Symposium on Defect and Material Mechanics (ISDMM), held in Aussois, France, March 25–29, 2007
This volume presents recent developments in the theory of defects and the mechanics of material forces. Most of the contributions ...
Lee mas
Deformable Models
Deformable Models: Theory and Biomaterial Applications is the second installation in the two-volume set Deformable Models ...
Lee mas
Deformable Models
Deformable Models: Biomedical and Clinical Applications is the first entry in the two-volume set which provides a wide cross-section ...
Lee mas
Deformations of Algebraic Schemes
This study has become increasingly important in algebraic geometry in every context where variational phenomena come into ...
Lee mas
Deformations of Algebraic Schemes
This study has become increasingly important in algebraic geometry in every context where variational phenomena come into ...
Lee mas
Delay Differential Equations and Applications
This Edition includes detailed discussion and analysis on: General Results and Linear Theory of Delay Equations in Finite ...
Lee mas
Delay Differential Equations and Applications
This Edition includes detailed discussion and analysis on: General Results and Linear Theory of Delay Equations in Finite ...
Lee masDelft Pneumatic Bipeds
Walking is simple for most of us, but two-legged robots (bipeds) are often slow, complex, inefficient, heavy, and have robotic-looking ...
Lee mas
Demographic Transition Theory
This study addresses these issues. Part I addresses the situation among hunters and gatherers, traditional farmers and classical ...
Lee mas
Dental Caries: The Disease and its Clinical Management / le Fejerskov, Bente Nyvad, Edwina Kidd
In this highly anticipated new edition, the editors maintain the same focus on high-level coverage of the disease etiology ...
Lee mas
Dental Digital Photography: From Dental Clinical Photography to Digital Smile Design
This book provides comprehensive and updated knowledge about dental digital photography. The first part focuses on the fundamental ...
Lee mas
Dental Implants for Hygienists and Therapists / Ulpee R. Darbar
Delivers an accessible and informative exploration of the fundamental principles of tooth replacement with dental implants, ...
Lee mas
Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach
Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
Lee mas
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lee mas
