This volume presents the 17th International Conference on Information Technology—New Generations (ITNG), and chronicles ...
Lire la suiteModel checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteImages contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lire la suiteImages contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
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 suiteThis textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference ...
Lire la suiteThis Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed ...
Lire la suiteSpecifically, this book covers the following topics: 6G Use Cases, Requirements, Metrics and Enabling Technologies, PHY Technologies ...
Lire la suiteThis text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...
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 suitePart I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
Lire la suiteThis practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
Lire la suiteThis practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
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 suiteThis book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lire la suiteThis book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lire la suiteThis text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required ...
Lire la suite