Electronic Books

Total Books: 12/60
Abstraction, Refinement and Proof for Probabilistic Systems

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

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

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

Weiterlesen
Architecting Dependable Systems IV

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

Weiterlesen
Architecting Dependable Systems IV

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

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

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

Weiterlesen
Autonomic Networking

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

Weiterlesen
Autonomic and Trusted Computing

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

Weiterlesen
Autonomic and Trusted Computing

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

Weiterlesen
Composition of Embedded Systems. Scientific and Industrial Issues

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

Weiterlesen
Composition of Embedded Systems. Scientific and Industrial Issues

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

Weiterlesen
Total Books: 12/60