Electronic Books

Total Books: 1 - 20 /82

25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...

A Successful Transformation? : Restructuring of the Czech Automobile Industry

This book investigates the complex processes of the post-1990 transformation in the Czech automotive industry and its selective ...

Advanced Man-Machine Interaction

Man-machine interaction is the gateway providing access to functions and services, which, due to the ever increasing complexity ...

Advances in Telerobotics

The main purpose of this book is to provide readers with recent advances in the field of Telerobotics. It describes methods, ...

Algebraic Informatics

It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...

Algebraic Informatics

It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...

Android smart health monitoring system / Jalal Sneter ; Mohammad Albourum ; Mohammad Jokhadar ; Micheal Awad

Recent years have witnessed an increasing interest in the application of machine learning to clinical informatics and healthcare ...

Beyond Media Borders, Volume 1 Intermedial Relations among Multimodal Media

This book promotes the idea that all media types are multimodal and that comparing media types, through an intermedial lens, ...

Beyond Media Borders, Volume 2 Intermedial Relations among Multimodal Media

This book promotes the idea that all media types are multimodal and that comparing media types, through an intermedial lens, ...

Biogeography and Ecology of Bulgaria

The book includes 22 chapters by 28 authors united by the single theme: biogeography and ecology of Bulgaria. From the single-celled ...

Bordieuan Field Theory as an Instrument for Military Operational Analysis

This book uses Pierre Bourdieu’s field theory as a lens through which to examine military operations. Novel in its approach, ...

Codes et turbocodes

Cet ouvrage est consacré à l'une des fonctions essentielles des systèmes de télécommunications modernes : le codage ...

Codes et turbocodes

Cet ouvrage est consacré à l'une des fonctions essentielles des systèmes de télécommunications modernes : le codage ...

Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I

The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...

Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II

The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...

Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III

The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...

Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV

The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...

Data-Driven Policy Impact Evaluation

This book provides statistical tools for evaluating the effects of public policies advocated by governments and public institutions. ...

Designing Virtual Reality Systems

Virtual Reality (VR) is a field of study that aims to create a system that provides a synthetic experience for its users. ...

Total Books: 1 - 20 /82