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