Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue readingA Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Continue readingThis book investigates the complex processes of the post-1990 transformation in the Czech automotive industry and its selective ...
Continue readingMan-machine interaction is the gateway providing access to functions and services, which, due to the ever increasing complexity ...
Continue readingThe main purpose of this book is to provide readers with recent advances in the field of Telerobotics. It describes methods, ...
Continue readingIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Continue readingIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Continue readingRecent years have witnessed an increasing interest in the application of machine learning to clinical informatics and healthcare ...
Continue readingThis book promotes the idea that all media types are multimodal and that comparing media types, through an intermedial lens, ...
Continue readingThis book promotes the idea that all media types are multimodal and that comparing media types, through an intermedial lens, ...
Continue readingThe book includes 22 chapters by 28 authors united by the single theme: biogeography and ecology of Bulgaria. From the single-celled ...
Continue readingThis book uses Pierre Bourdieu’s field theory as a lens through which to examine military operations. Novel in its approach, ...
Continue readingCet ouvrage est consacré à l'une des fonctions essentielles des systèmes de télécommunications modernes : le codage ...
Continue readingCet ouvrage est consacré à l'une des fonctions essentielles des systèmes de télécommunications modernes : le codage ...
Continue readingThe four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Continue readingThe four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Continue readingThe four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Continue readingThe four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Continue readingThis book provides statistical tools for evaluating the effects of public policies advocated by governments and public institutions. ...
Continue readingVirtual Reality (VR) is a field of study that aims to create a system that provides a synthetic experience for its users. ...
Continue reading