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 ...
Lee mas
RoboCup 2006: Robot Soccer World Cup X
This book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Robotics Research
This book presents the results of the eleventh edition of "Robotics Research" ISRR03, offering a collection of a broad ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Roots and Patterns
This book is simultaneously a theoretical study in morphosyntax and an in-depth empirical study of Hebrew. Based on Hebrew ...
Lee mas
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 ...
Lee mas
Rough Sets and Intelligent Systems Paradigms
This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
