This volume presents the 17th International Conference on Information Technology—New Generations (ITNG), and chronicles ...
Lee masModel checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee masImages contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lee masImages contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lee masThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lee masThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lee masThis textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference ...
Lee masThis Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed ...
Lee masSpecifically, this book covers the following topics: 6G Use Cases, Requirements, Metrics and Enabling Technologies, PHY Technologies ...
Lee masThis text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...
Lee masThis advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...
Lee masA Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...
Lee masPart I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
Lee masThis practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
Lee masThis practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
Lee masCompressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a ...
Lee masThis easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
Lee masThis book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lee masThis book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lee masThis text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required ...
Lee mas