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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Advanced Man-Machine Interaction
Man-machine interaction is the gateway providing access to functions and services, which, due to the ever increasing complexity ...
Lee mas
Advances in Telerobotics
The main purpose of this book is to provide readers with recent advances in the field of Telerobotics. It describes methods, ...
Lee mas
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lee mas
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lee masAndroid 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 ...
Lee mas
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, ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Codes et turbocodes
Cet ouvrage est consacré à l'une des fonctions essentielles des systèmes de télécommunications modernes : le codage ...
Lee mas
Codes et turbocodes
Cet ouvrage est consacré à l'une des fonctions essentielles des systèmes de télécommunications modernes : le codage ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Data-Driven Policy Impact Evaluation
This book provides statistical tools for evaluating the effects of public policies advocated by governments and public institutions. ...
Lee mas
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. ...
Lee mas
