Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
اقرأ المزيد
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
اقرأ المزيد
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 ...
اقرأ المزيد
Risk Management in Stochastic Integer Programming : With Application to Dispersed Power Generation
Two-stage stochastic optimization is a useful tool for making optimal decisions under uncertainty. Frederike Neise describes ...
اقرأ المزيد
Robot Cognition and Navigation
In this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, ...
اقرأ المزيد
Robot Operating System (ROS) for Absolute Beginners : Robotics Programming Made Easy / Lentin Joseph, Aleena Johny
You'll learn the basic foundation of Ubuntu Linux. Begin with the fundamentals. Installation and useful commands will give ...
اقرأ المزيد
Robotica Mobile : Un’introduzione pratica = Mobile robotics : A practical introduction
This book is an excellent introduction to the fundamentals and methods of designing and testing autonomous mobile robots. The ...
اقرأ المزيد
Robust Control of Linear Systems Subject to Uncertain Time-Varying Parameters
Presents the main results appeared in the literature on the topic of robust control of dynamical systems, with particular ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
Rule Extraction from Support Vector Machines
This book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...
اقرأ المزيد
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
اقرأ المزيد
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 ...
اقرأ المزيد
SAS for Data Analysis : Intermediate Statistical Methods
This book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming ...
اقرأ المزيد
SCJD Exam with J2SE 5
You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...
اقرأ المزيد
SCJP Exam for J2SE 5
Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...
اقرأ المزيد
SQL Server 2005 T-SQL Recipes
This no-fluff desk reference offers direct access to the information you need to get the job done. It covers basic T-SQL ...
اقرأ المزيد
