Electronic Books

Recent Trends in Algebraic Development Techniques

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...

Reflections on the Teaching of Programming : Methods and Implementations

The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...

Reliable Distributed Systems

An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...

Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

Requirements Engineering: Foundation for Software Quality : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...

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

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

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

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

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

Secure Data Management : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings

This book is organized in topical sections on database security, trust management, privacy protection, and security and privacy ...

Secure Transaction Protocol Analysis : Models and Applications

The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...

Self-Stabilizing Systems

Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in ...

Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

S3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...

Service Availability

Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...

Service Availability (vol. # 3335)

SharePoint 2007 Development Recipes : A Problem-Solution Approach

SharePoint 2007 Development Recipes offers a range of ready–to–use code recipes that provide the building blocks for ...

Shell Scripting Recipes

This book is geared towards any Unix user who doesn't want to spend time creating or testing shell scripts. Instead, Shell ...

Silberschatz's Operating System Concepts / Abraham Silberschatz, Peter B. Galvin, Greg Gagne

It combines instruction on concepts with real-world applications so that students can understand the practical usage of the ...

Silverlight 2 Visual Essentials

Silverlight is a lightweight browser plug–in that frees your code from the traditional confines of the browser. It is a ...