Electronic Books

Total Books: 21 - 40 /1990
A Roadmap for Formal Property Verification

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

Lee mas
A Singular Introduction to Commutative Algebra

This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...

Lee mas
A Theory of Shape Identification

Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...

Lee mas
AI 2005: Advances in Artificial Intelligence

The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...

Lee mas
AI For Emerging Verticals : Human-robot computing, sensing and networking

Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...

Lee mas
Abstract Computing Machines

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...

Lee mas
Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Lee mas
Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Lee mas
Accelerator Programming Using Directives

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

Lee mas
Acoustic MIMO Signal Processing

Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to ...

Lee mas
Active Mining

"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...

Lee mas
Active Sensor Planning for Multiview Vision Tasks

The book describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing ...

Lee mas
Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738)

This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW ...

Lee mas
Ad-hoc, Mobile and Wireless Networks : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...

Lee mas
Adaptive Filtering : Algorithms and Practical Implementation

The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...

Lee mas
Adaptive Learning of Polynomial Networks

This book provides theoretical and practical knowledge for develop­ ment of algorithms that infer linear and nonlinear models. ...

Lee mas
Adaptive Mesh Refinement - Theory and Applications

Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...

Lee mas
Adaptive and Multilevel Metaheuristics

This volume presents recent advances in the area of adaptativeness in metaheuristic optimization, including up-to-date reviews ...

Lee mas
Adaptive and Natural Computing Algorithms

The two volume set LNCS 4431 and LNCS 4432 constitutes the refereed proceedings of the 8th International Conference on Adaptive ...

Lee mas
Adaptive and Natural Computing Algorithms

The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding ...

Lee mas
Total Books: 21 - 40 /1990