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. ...
اقرأ المزيد
