This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Continue readingThis book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented ...
Continue readingIn this book the author stresses software as the most important topic in modern robotics. In particular the book concentrates ...
Continue readingPaolo Ulivi and David Harland provide in Robotic Exploration of the Solar System a detailed history of unmanned missions ...
Continue readingThis book presents the results of the eleventh edition of "Robotics Research" ISRR03, offering a collection of a broad ...
Continue readingThis book brings together the fields of robot spatial mapping and cognitive spatial mapping, Robot spatial mapping, in this ...
Continue readingThe revised edition of this practical, hands-on book discusses the range of launch vehicles in use today throughout the world, ...
Continue readingIn the last decade, enormous progress has been made on the physiology of plant roots, including on a wide range of molecular ...
Continue readingThis book is simultaneously a theoretical study in morphosyntax and an in-depth empirical study of Hebrew. Based on Hebrew ...
Continue readingThis book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
Continue readingThis book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems ...
Continue readingThis book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...
Continue readingPresents current writing about the pivotal roles that landscape architects play in addressing some of the most pressing problems ...
Continue readingThe web framework Ruby on Rails for developing database based web applications provides a Model-View-Controller framework. ...
Continue readingThis collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use ...
Continue readingRuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...
Continue readingRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Continue readingThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Continue readingThis handbookpossesses two virtues that are becomingincreasingly dif?cult to ?nd together. The ?rst one is providing a novel ...
Continue readingThis book will assess the scientific haul of data from the Venus and Mars missions and look at the engineering approaches. ...
Continue reading