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