Electronic Books

Total Books: 561 - 580 /723

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

Lessons learned in the last several years have given clear indications that the prediction and efficient monitoring of disasters ...

The book is structured into five parts. Part I reviews basic optimal control and game theory of finite dimensional systems, ...

Over the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld ...

This book constitutes the refereed proceedings of the 9th European Conference on Research and Advanced Technology for Digital ...

This book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL ...

This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...

This is the first book that provides readers with a deep technical overview of recent advances in resource management for ...

Responsibility and Dependable Systems is the first book to examine the relationship between responsibility and system dependability. ...

This book arose from an international symposium held in honour of Jacques Bros on the occasion of his 70th birthday, at the ...

This monograph aims to present up-to-date research developments and references on robust control and filtering of uncertain ...

This volume presents a systematic and comprehensive treatment for robust (H-infinity) control of such systems in the frequency ...

The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented ...

The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented ...

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...

The book presents the statistical knowledge and methodology of sampling and data analysis useful for spatial inventory and ...

Total Books: 561 - 580 /723