Electronic Books

Total Books: 2061 - 2080 /8049

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

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

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

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

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

Topics and features: Presents a curiosity-driven approach, posing questions to stimulate readers to design novel computational ...

Examines and demonstrates state-of-the-art approaches for IoT and Machine Learning based biomedical and health related applications. ...

This second edition includes an entirely new chapter on holographic message plaques for future interstellar probes – a ...

Total Books: 2061 - 2080 /8049