Electronic Books

Total Books: 1 - 20 /104

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

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

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

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

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

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

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

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

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

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

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

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

Discusses advances in smart and sustainable development of smart environments. The authors discuss the challenges faced in ...

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

The book addresses advanced engineering students, developers and researchers that have a specific interest in control reconfiguration. ...

These are the proceedings of the Eighth Workshop on Cryptographic Hardware and Embedded Systems (CHES 2006) held in Yokohama, ...

This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...

Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...

Total Books: 1 - 20 /104