Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suiteThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suiteRough terrain robotics is a fast evolving field of research and a lot of effort is deployed towards enabling a greater level ...
Lire la suiteThis advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...
Lire la suiteA Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...
Lire la suiteThis monograph gives a detailed treatment of applications of geometric methods to advanced grid technology. It focuses on ...
Lire la suitePart I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
Lire la suiteCompressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a ...
Lire la suiteThis easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
Lire la suiteA Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
Lire la suiteThis essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course ...
Lire la suiteThis essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course ...
Lire la suiteThis monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...
Lire la suiteOffers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...
Lire la suiteBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lire la suiteThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Lire la suiteThis volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Lire la suitePractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lire la suite