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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Decision Support for Forest Management
While earlier books concerning forest planning have tended to focus on linear programming, economic aspects, or specific ...
اقرأ المزيد
Decision Support for Global Enterprises
Decision Support for Global Enterprises consists of peer-reviewed and invited papers with two primary goals: (1) Stimulate ...
اقرأ المزيد
Decision Support for Global Enterprises
Decision Support for Global Enterprises consists of peer-reviewed and invited papers with two primary goals: (1) Stimulate ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Decoherence and the Quantum-To-Classical Transition
This detailed but accessible text describes the concepts, formalism, interpretation, and experimental observation of decoherence ...
اقرأ المزيد
Decoupling Control
Decoupling or non-interactive control has attracted considerable research attention since the 1960s when control engineers ...
اقرأ المزيد
Decrypted Secrets
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...
اقرأ المزيد
Decrypted Secrets
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...
اقرأ المزيد
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 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدDeep Learning and its Applications / Arvind Kumar Tiwari
Presents an introduction to deep learning and various applications of deep learning such as recommendation systems, text ...
اقرأ المزيد
