Electronic Books

Total Books: 1 - 20 /70

AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

AVENUE21. Connected and Automated Driving: Prospects for Urban Europe

This publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...

Abstraction, Reformulation, and Approximation

This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...

Advances in Open Domain Question Answering

This book gives a comprehensive and detailed look at the current approaches to automated question answering. The book can ...

Algebraic and Proof-theoretic Aspects of Non-classical Logics

It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...

Algebraic and Proof-theoretic Aspects of Non-classical Logics

It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...

Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

Automated Deduction – CADE-21

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

Automated Deduction – CADE-21

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

Automated Machine Learning

This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...

Automated Multi-Camera Surveillance: Algorithms and Practice

This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...

Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...

Automated Reasoning with Analytic Tableaux and Related Methods

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Total Books: 1 - 20 /70