Electronic Books

Total Books: 881 - 900 /1131

Reverse Engineering of Object Oriented Code

The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...

Reversible Computation

This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...

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 ...

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 ...

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 ...

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. ...

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 ...

SCJP Exam for J2SE 5

Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

SQL Server 2008 Transact-SQL Recipes

SQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...

STACS 2005

Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...

Total Books: 881 - 900 /1131