Electronic Books

Total Books: 12/1974
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 ...

Lire la suite
3-D Shape Estimation and Image Restoration

Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...

Lire la suite
3-D Shape Estimation and Image Restoration

Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
A Classical Introduction to Cryptography

This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...

Lire la suite
A Classical Introduction to Cryptography Exercise Book

A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Total Books: 12/1974