Electronic Books

Total Books: 3681 - 3700 /4525

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

Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...

Rewriting, Computation and Proof

This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...

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

Rigid Body Dynamics Algorithms

It explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive collection of ...

Rigid Flexibility

While most of the current works in Artificial Intelligence (AI) focus on individual aspects of intelligence and cognition, ...

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

Rise of the Self-Replicators

In this book the authors provide a chronological survey and comprehensive archive of the early history of thought about machine ...

RoboCup 2004: Robot Soccer World Cup VIII

The papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of ...

RoboCup 2005: Robot Soccer World Cup IX

This book constitutes the ninth official archival publication devoted to RoboCup, documenting presentations at the RoboCup ...

RoboCup 2006: Robot Soccer World Cup X

This book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented ...

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

Robot Adventures in Python and C

In this book the author stresses software as the most important topic in modern robotics. In particular the book concentrates ...

Robot Cognition and Navigation

In this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, ...

Robot Vision : Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings

obot vision (or, more general, robotics) is a fast-growing discipline, already taught as a dedicated teaching program at ...

Robot seller محمد جواد محمد نضار مراد ؛ رغد هشام كعدان ؛ بيان نشات السهلي ؛ مارينا هيثم هيلون ؛ شدن محملجي ؛ إشراف د. طارق برهوم

The 21st century is a century for robotics. This Project is a new possibilities for social interaction between a human user ...

Robotic Welding, Intelligence and Automation

Robotic welding systems have been used in different types of manufacturing. They can provide several benefits in welding ...

Robotica Mobile : Un’introduzione pratica = Mobile robotics : A practical introduction

This book is an excellent introduction to the fundamentals and methods of designing and testing autonomous mobile robots. The ...

Total Books: 3681 - 3700 /4525