25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
3-D Computer Vision. Principles, Algorithms and Applications / Yu-Jin Zhang
Offers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
Lee mas
3-D Shape Estimation and Image Restoration
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lee mas
3-D Shape Estimation and Image Restoration
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lee mas
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lee mas
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lee mas
3D Mesh Processing and Character Animation : With Examples Using OpenGL, OpenMesh and Assimp / Ramakrishnan Mukundan
Focusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...
Lee mas
3D-Position Tracking and Control for All-Terrain Robots
Rough terrain robotics is a fast evolving field of research and a lot of effort is deployed towards enabling a greater level ...
Lee mas
A Classical Introduction to Cryptography
This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...
Lee mas
A Classical Introduction to Cryptography Exercise Book
A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...
Lee mas
A Computational Differential Geometry Approach to Grid Generation
This monograph gives a detailed treatment of applications of geometric methods to advanced grid technology. It focuses on ...
Lee mas
A Computational Model of Natural Language Communication
Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
Lee mas
A Concise Introduction to Data Compression
Compressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a ...
Lee mas
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
Lee mas
A Distributed Coordination Approach to Reconfigurable Process Control
A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
Lee mas
A First Course in Statistics for Signal Analysis
This essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course ...
Lee mas
A First Course in Statistics for Signal Analysis
This essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course ...
Lee mas
A Graph-Theoretic Approach to Enterprise Network Dynamics
This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...
Lee mas
A Guide to Graph Algorithms / Ton Kloks, Prof. Mingyu Xiao
Offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...
Lee mas
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lee mas
