Recent Trends in Algebraic Development Techniques
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
Lire la suite
Recent Trends in Fuel Cell Science and Technology
Fuel cell science and technology is evolving fast for the past two decades as it is thought to be an efficient way of transforming ...
Lire la suite
Reconfigurable Computing
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
Lire la suite
Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Lire la suite
Reconfigurable Distributed Control
Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
Lire la suite
Redox Systems Under Nano-Space Control
The generation of novel redox systems under nano-space control is one of the most exciting fields in present organic, inorganic, ...
Lire la suite
Reduced Order Systems
This monograph presents a detailed and unified treatment of the theory of reduced order systems. Covered topics include reduced ...
Lire la suite
Reference Data on Atomic Physics and Atomic Processes
This book is a data book for atomic and plasma physicists. Numerical data are given for atoms, atomic processes and atomic ...
Lire la suite
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lire la suite
Reflections on the Teaching of Programming : Methods and Implementations
The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...
Lire la suiteRegulatory Pathways For Smart Grid Development in China
A series of reforms have greatly improved the efficiency, reliability, and environmental performance of the Chinese power ...
Lire la suite
Reliability and Optimal Maintenance
Postgraduates, researchers, and practitioners in reliability engineering, maintenance engineering, operations research, industrial ...
Lire la suite
Reliability in Automotive and Mechanical Engineering : Determination of Component and System Reliability
The volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. ...
Lire la suite
Reliable Distributed Systems
An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
Lire la suite
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lire la suite
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lire la suite
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 ...
Lire la suite
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lire la suite
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 ...
Lire la suite
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Lire la suite
