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 ...
اقرأ المزيد
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
اقرأ المزيد
Remedies against Immunity? Reconciling International and Domestic Law after the Italian Constitutional Court’s Sentenza 238/2014
The book examines the consequences of the Italian Constitutional Court’s Judgment 238/2014 which denied the German Republic’s ...
اقرأ المزيد
Requirements Engineering
Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...
اقرأ المزيد
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 ...
اقرأ المزيد
Requirements Management : The Interface Between Requirements Development and All Other Systems Engineering Processes
Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
اقرأ المزيد
Rethinking Productivity in Software Engineering
Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
اقرأ المزيد
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, ...
اقرأ المزيد
Reuse of Off-the-Shelf Components
Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
اقرأ المزيد
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
اقرأ المزيد
Reversible Computation
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
اقرأ المزيد
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 ...
اقرأ المزيد
Rice Improvement Physiological, Molecular Breeding and Genetic Perspectives
This book emphasizes on the areas of rice science that attempt to overcome the foremost limitations in rice production. Our ...
اقرأ المزيد
Rightshore! : Successfully SAP(R) Projects Offshore
At a time when business demands urge companies to innovate and CIOs face increasing cost pressures, offshore delivery offers ...
اقرأ المزيد
Rigorous Development of Complex Fault-Tolerant Systems
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
اقرأ المزيد
Risk-Conscious Operations Management : An Integrated Paradigm for Complex Engineering System / Prabhakar V. Varde
Presents various concepts and applications related to risk-conscious operations management. It also provides an overview ...
اقرأ المزيد
RoboCup 2007: Robot Soccer World Cup XI
The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
اقرأ المزيد
Robotics and Rehabilitation Intelligence
This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ...
اقرأ المزيد
