Electronic Books

Total Books: 1 - 20 /164

3-D Structural Geology

This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; ...

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 ...

Abstraction, Refinement and Proof for Probabilistic Systems

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

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging ...

Advanced Topics in Exception Handling Techniques

Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...

Advances in Neural Networks - ISNN 2005 (vol. # 3496)

The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural ...

Advances in Neural Networks - ISNN 2005 (vol. # 3498)

The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural ...

Algorithms for Sensor and Ad Hoc Networks

Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...

Algorithms for Sensor and Ad Hoc Networks

Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...

Analyzing Uncertainty in Civil Engineering

This volume addresses the issue of uncertainty in civil engineering from design to construction. Failures do occur in practice. ...

Appraisal and repair of of Building Structures

This book is a practical guide to the detection and remedy of faults in claddings and fixings on buildings. It sets out the ...

Architecting Dependable Systems IV

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Architecting Dependable Systems IV

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Artificial Intelligence Applications and Innovations II

Artificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent ...

Artificial Neural Networks for the Modelling and Fault Diagnosis of Technical Processes

In this book, a wide spectrum of fault diagnosis techniques have been developed. A major category of fault diagnosis techniques ...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Automotive Software- Connected Services in Mobile Networks

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

Autonomic Networking

The autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Total Books: 1 - 20 /164