Electronic Books

Total Books: 1941 - 1960 /6951

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

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

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

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

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

Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...

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

You’ll learn how to configure PyTorch Lightning on a cloud platform, understand the architectural components, and explore ...

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

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Defence Applications of Multi-Agent ...

In this book defense and security related applications are increasingly being tackled by researchers and practioners using ...

Defending Life discusses the relationship between hosts and parasites. A major contention of the book is that the immune ...

A critical assessment of state-of-the-art of emerging ("breakthrough") biosensor technologies that will allow for the rapid ...

During the last decades, measurements of various geodynamic processes have gained ever increasing importance. Temporal variations ...

Total Books: 1941 - 1960 /6951