Electronic Books

Total Books: 2121 - 2140 /2760

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

RoboCup 2006: Robot Soccer World Cup X

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

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

Robotic Exploration of the Solar System

Paolo Ulivi and David Harland provide in Robotic Exploration of the Solar System a detailed history of unmanned missions ...

Robotics Research

This book presents the results of the eleventh edition of "Robotics Research" ISRR03, offering a collection of a broad ...

Robotics and Cognitive Approaches to Spatial Mapping

This book brings together the fields of robot spatial mapping and cognitive spatial mapping, Robot spatial mapping, in this ...

Rocket and Spacecraft Propulsion

The revised edition of this practical, hands-on book discusses the range of launch vehicles in use today throughout the world, ...

Root Physiology: from Gene to Function

In the last decade, enormous progress has been made on the physiology of plant roots, including on a wide range of molecular ...

Roots and Patterns

This book is simultaneously a theoretical study in morphosyntax and an in-depth empirical study of Hebrew. Based on Hebrew ...

Rough Sets and Current Trends in Computing : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings

This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...

Rough Sets and Intelligent Systems Paradigms

This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems ...

Rough Sets and Knowledge Technology : Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings

This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...

Routledge Handbook of Urban Landscape Research / Kate Bishop, Linda Corkery

Presents current writing about the pivotal roles that landscape architects play in addressing some of the most pressing problems ...

Ruby on Rails for PHP and Java Developers

The web framework Ruby on Rails for developing database based web applications provides a Model-View-Controller framework. ...

Rugged Free Energy Landscapes : Common Computational Approaches to Spin Glasses, Structural Glasses and Biological Macromolecules

This collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use ...

Rules and Rule Markup Languages for the Semantic Web

RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

Rural Analysis and Management : An Earth Science Approach to Rural Science

This handbookpossesses two virtues that are becomingincreasingly dif?cult to ?nd together. The ?rst one is providing a novel ...

Russian Planetary Exploration : History, Development, Legacy, Prospects

This book will assess the scientific haul of data from the Venus and Mars missions and look at the engineering approaches. ...

Total Books: 2121 - 2140 /2760