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. ...
اقرأ المزيد
