الكتب الالكترونية

عدد الكتب: 1 - 20 /2017
978-3-540-69850-0
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 ...

اقرأ المزيد
978-1-4020-6182-0
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 ...

اقرأ المزيد
978-1-4020-6182-0
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 ...

اقرأ المزيد
978-3-540-78287-2
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 ...

اقرأ المزيد
978-0-387-25880-5
A Classical Introduction to Cryptography

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

اقرأ المزيد
978-0-387-28835-2
A Classical Introduction to Cryptography Exercise Book

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

اقرأ المزيد
978-3-540-34236-6
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 ...

اقرأ المزيد
978-3-540-35477-2
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 ...

اقرأ المزيد
978-1-84800-072-8
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 ...

اقرأ المزيد
978-1-84800-121-3
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 ...

اقرأ المزيد
978-1-84800-060-5
A Distributed Coordination Approach to Reconfigurable Process Control

A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...

اقرأ المزيد
978-0-8176-4516-8
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 ...

اقرأ المزيد
978-0-8176-4516-8
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 ...

اقرأ المزيد
978-0-8176-4519-9
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 ...

اقرأ المزيد
978-981-16-6350-5
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. ...

اقرأ المزيد
978-0-8176-4661-5
A Linear Systems Primer

Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...

اقرأ المزيد
978-981-15-2770-8
A Matrix Algebra Approach to Artificial Intelligence

The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...

اقرأ المزيد
978-0-387-73384-5
A Modular Calculus for the Average Cost of Data Structuring

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...

اقرأ المزيد
978-0-387-36123-9
A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

اقرأ المزيد
978-3-540-69303-1
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...

اقرأ المزيد
عدد الكتب: 1 - 20 /2017