Electronic Books

Total Books: 561 - 580 /723

Reliable Software Technologies - Ada Europe 2007

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

Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

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

Reliable Software Technologies -- Ada-Europe 2006

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

Reliable Software Technology – Ada-Europe 2005

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

Remote Sensing and GIS Technologies for Monitoring and Prediction of Disasters

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

Representation and Control of Infinite-Dimensional Systems

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

Research and Advanced Technology for Digital Libraries

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

Research and Advanced Technology for Digital Libraries (vol. # 3652)

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

Research and Advanced Technology for Digital Libraries (vol. # 4172)

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

Research and Advanced Technology for Digital Libraries : 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings

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

Resource Management in Wireless Networking

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

Responsibility and Dependable Systems

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

Rigorous Quantum Field Theory

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

Robust Control and Filtering of Singular Systems

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

Robust Control of Time-delay Systems

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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (vol. # 3641)

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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (vol. # 3642)

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

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

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

SOFSEM 2007: Theory and Practice of Computer Science

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

Sampling for Natural Resource Monitoring

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

Total Books: 561 - 580 /723