Electronic Books

Total Books: 141 - 160 /178

Requirements Engineering: Foundation for Software Quality

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

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

Robustness and Usability in Modern Design Flows

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...

SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...

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

Semantics in Data and Knowledge Bases : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...

Software Engineering 3

Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Software-Intensive Systems and New Computing Paradigms : Challenges and Visions

The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...

Stabilization, Safety, and Security of Distributed Systems

This book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...

Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

The Seventeen Provers of the World

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

Theoretical Aspects of Computing - ICTAC 2006

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...

Theory and Applications of Relational Structures as Knowledge Instruments II

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...

Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

Total Books: 141 - 160 /178