Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Weiterlesen
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Weiterlesen
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 ...
Weiterlesen
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Weiterlesen
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 ...
Weiterlesen
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Weiterlesen
Reminiscences of a Statistician : The Company I Kept
This relatively nontechnical book is the first account of the history of statistics from the Fisher revolution to the computer ...
Weiterlesen
Remote Sensing of Plant Biodiversity
This book aims to methodologically improve our understanding of biodiversity by linking disciplines that incorporate remote ...
Weiterlesen
Remote Sensing of the European Seas
This volume reviews the current potential of Earth Observations, while devoting particular attention to applications dealing ...
Weiterlesen
Renewing Local Planning to Face Climate Change in the Tropics
This book aims to inspire decision makers and practitioners to change their approach to climate planning in the tropics through ...
Weiterlesen
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, ...
Weiterlesen
Requirements Engineering: Foundation for Software Quality : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Weiterlesen
Resampling Methods
This thoroughly revised and expanded third edition is a practical guide to data analysis using the bootstrap, cross-validation, ...
Weiterlesen
Restricted Parameter Space Estimation Problems
This monograph contains a critical review of 50 years of results on questions of admissibility and minimaxity of estimators ...
Weiterlesen
Rethinking Productivity in Software Engineering
Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
Weiterlesen
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits features a very detailed, ...
Weiterlesen
Reverse Engineering of Object Oriented Code
The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
Weiterlesen
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Weiterlesen
Reversible Computation
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Weiterlesen
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Weiterlesen
