Electronic Books

Total Books: 501 - 520 /723

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...

Discusses recent advances in object detection and recognition using deep learning methods, which have achieved great success ...

The primary objective of ONTOLOGIES: A Handbook of Principles, Concepts and Applications in Information Systems is to mobilize ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...

This book discusses the energy management for the multi-energy maritime grid, which is the local energy network installed ...

PEACH, is a large, interdisciplinary development project that explores the use of novel technologies for physical museum ...

This book constitutes the refereed proceedings of the 8th International Conference on Parallel Computing Technologies, PaCT ...

This volume contains selected and revised papers from the Sixth Thematic Wo- shop of the EU Network of ExcellenceDELOS on ...

This volume contains the full papers presented at HCI 2005, the 19th Annual Conference of the British HCI Group, a specialist ...

The eighteenth annual British HCI Conference chose as its theme Design for Life. 'Life' has many facets, from work (of ...

The primary goal of this book is to present to the scientific and management communities a selection of applications using ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

This useful volume provides up-to-date and state-of-the-art coverage of the diverse topics related to pervasive computing ...

In May 2005, the International Max Planck Research School for Maritime Affairs organized an international conference addressing ...

Polymer Engineering Science and Viscoelasticity: An Introduction provides a unified mechanics and materials perspective on ...

Matrices are effective tools for the modelling and analysis of dynamical systems. Professor Kaczorek gives an overview of ...

Learn the ins and outs of decisions, biases, and reliability of AI algorithms and how to make sense of these predictions. ...

A quick start guide for data scientists and machine learning engineers looking to implement machine learning models for streaming ...

Projects you'll work on include creating a simple blog with an external API, constructing a workout tracker with a RESTful ...

Total Books: 501 - 520 /723