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
Decision Support for Global Enterprises
Decision Support for Global Enterprises consists of peer-reviewed and invited papers with two primary goals: (1) Stimulate ...
Lee mas
Decision Support for Global Enterprises
Decision Support for Global Enterprises consists of peer-reviewed and invited papers with two primary goals: (1) Stimulate ...
Lee mas
Decision-Making in Engineering Design
We use our brains when we create plans and designs. The resulting plans and designs take physical form, however, what we ...
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
Decoherence and the Quantum-To-Classical Transition
This detailed but accessible text describes the concepts, formalism, interpretation, and experimental observation of decoherence ...
Lee mas
Decoupling Control
Decoupling or non-interactive control has attracted considerable research attention since the 1960s when control engineers ...
Lee mas
Decrypted Secrets
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...
Lee mas
Decrypted Secrets
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...
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 Data Analytics for New Product Development / Walter R. Paczkowski
The benefits of reading this book are twofold. The first is an understanding of the stages of a new product development process ...
Lee mas
Deep Impact Mission: Looking Beneath the Surface of a Cometary Nucleus
Deep Impact, or at least part of the flight system, is designed to crash into comet 9P/Tempel 1. This bold mission design ...
Lee mas
Deep Learning Approaches to Cloud Security / Pramod Singh Rathore, Vishal Dutt, Rashmi Agrawal, Satya Murthy Sasubilli, Srinivasa Rao Swarna
Covering one of the most important subjects to our society today, cloud security, this editorial team delves into solutions ...
Lee masDeep Learning and its Applications / Arvind Kumar Tiwari
Presents an introduction to deep learning and various applications of deep learning such as recommendation systems, text ...
Lee mas
