Electronic Books

Total Books: 1021 - 1040 /1271

Recent Advances in Reinforcement Learning : 8th European Workshop, EWRL 2008, Villeneuve d’Ascq, France, June 30-July 3, 2008, Revised and Selected Papers

They are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...

Recent Progress in Robotics: Viable Robotic Service to Human : An Edition of the Selected Papers from the 13th International Conference on Advanced Robotics

This volume is an edition of the papers selected from the 13 International Conference on Advanced Robotics, ICAR 2007, held ...

Reconfigurable Computing

By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...

Refinement Techniques in Software Engineering

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...

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 ...

Regular Expression Recipes for Windows Developers

Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression ...

Relational Methods in Computer Science

This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming

This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...

Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers

The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...

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 2002

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

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 ...

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 ...

Rethinking Productivity in Software Engineering

Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...

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 ...

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 ...

Total Books: 1021 - 1040 /1271