Electronic Books

Total Books: 341 - 360 /446

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

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

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

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

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

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

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

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

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

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

The web framework Ruby on Rails for developing database based web applications provides a Model-View-Controller framework. ...

RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...

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

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

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

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

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

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: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...

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

Total Books: 341 - 360 /446