Electronic Books

Total Books: 341 - 360 /446

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 2002

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

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

Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Requirements Engineering

Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...

Requirements Engineering: Foundation for Software Quality

This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...

Research and Advanced Technology for Digital Libraries

Over the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld ...

Research and Advanced Technology for Digital Libraries (vol. # 3652)

This book constitutes the refereed proceedings of the 9th European Conference on Research and Advanced Technology for Digital ...

Research and Advanced Technology for Digital Libraries (vol. # 4172)

This book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL ...

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

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

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

SOFSEM 2005: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...

SQL Server 2000 Fast Answers for DBAs and Developers

SQL Server 2000 is the leading relational database for the Windows platform. It's a full-featured, enterprise-class database ...

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

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

Satellite Events at the MoDELS 2005 Conference

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...

Total Books: 341 - 360 /446