Electronic Books

Total Books: 281 - 300 /381

Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...

Quantitative Measure for Discrete Event Supervisory Control

Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure ...

Rapid Prototyping of Digital Systems

RAPID PROTOTYPING OF DIGITAL SYSTEMS provides an exciting and challenging environment for rapidly adapting System-on-a-Programmable ...

Rationale-Based Software Engineering

Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making ...

Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666)

Constitutes the proceedings of the 12th European PVM/MPI Users' Group Meeting held in Sorrento, Italy in September 2005. ...

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

Responsible Procurement : Leading the Way to a Sustainable Tomorrow / Stefan Aichbauer, Martina Buchhauser, Agnes Erben, Sven Steinert, Detlef Tietze, Emilia Wiking

Sustainability and procurement Sustainable sourcing Responsible sourcing Purchasing Category management Operating models ...

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

Total Books: 281 - 300 /381