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 ...
اقرأ المزيد
