Electronic Books

Total Books: 3361 - 3380 /13267

The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...

This book provides a theoretical framework and case studies on decision science for regional sustainability by integrating ...

While earlier books concerning forest planning have tended to focus on linear programming, economic aspects, or specific ...

Decision Support for Global Enterprises consists of peer-reviewed and invited papers with two primary goals: (1) Stimulate ...

Decision Support for Global Enterprises consists of peer-reviewed and invited papers with two primary goals: (1) Stimulate ...

We use our brains when we create plans and designs. The resulting plans and designs take physical form, however, what we ...

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...

This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...

This detailed but accessible text describes the concepts, formalism, interpretation, and experimental observation of decoherence ...

Decoupling or non-interactive control has attracted considerable research attention since the 1960s when control engineers ...

Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...

Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...

What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...

The benefits of reading this book are twofold. The first is an understanding of the stages of a new product development process ...

Deep Impact, or at least part of the flight system, is designed to crash into comet 9P/Tempel 1. This bold mission design ...

Covering one of the most important subjects to our society today, cloud security, this editorial team delves into solutions ...

Presents an introduction to deep learning and various applications of deep learning such as recommendation systems, text ...

Total Books: 3361 - 3380 /13267