Electronic Books

Total Books: 3401 - 3420 /13560

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 ...

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 ...

Presents a collection of articles on the contemporary status of quantum mechanics, focusing on the fundamental issues of ...

This book crosses disciplinary boundaries to connect theories of environmental justice with Indigenous people’s experiences ...

This textbook for students and practitioners presents a practical approach to decomposition techniques in optimization. It ...

Plio-Pleistocene sites are a rare occurrence in same sites. This combination of factors is the archaeological record. When ...

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 ...

Deep Brain Stimulation in Neurological and Psychiatric Disorders discusses today’s most current and cutting-edge applications ...

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

Deep Eutectic Solvents contains a comprehensive review of the use of deep eutectic solvents (DESs) as an environmentally ...

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 ...

Total Books: 3401 - 3420 /13560