Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيدOffers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
اقرأ المزيدImages contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
اقرأ المزيدImages contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
اقرأ المزيدThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
اقرأ المزيدThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
اقرأ المزيدFocusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...
اقرأ المزيدRough terrain robotics is a fast evolving field of research and a lot of effort is deployed towards enabling a greater level ...
اقرأ المزيدThis advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...
اقرأ المزيدA Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...
اقرأ المزيدThis monograph gives a detailed treatment of applications of geometric methods to advanced grid technology. It focuses on ...
اقرأ المزيدPart I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
اقرأ المزيدCompressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a ...
اقرأ المزيدThis easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
اقرأ المزيدA Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
اقرأ المزيدThis essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course ...
اقرأ المزيدThis essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course ...
اقرأ المزيدThis monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...
اقرأ المزيدOffers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...
اقرأ المزيدBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
اقرأ المزيد