Electronic Books

Total Books: 81 - 100 /104
978-3-540-26457-6
Rock Joints

Rock Joints deals exclusively with the mechanical genesis of joints in rocks. It is aimed at a coherent, critical and comprehensible ...

Continue reading
978-3-540-77395-5
Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Continue reading
978-3-540-72736-1
Service Availability

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

Continue reading
978-3-540-68725-2
Service Availability (vol. # 4328)

This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...

Continue reading
978-3-540-68129-8
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings

The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...

Continue reading
978-3-030-21244-5
Software Design for Resilient Computer Systems

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...

Continue reading
978-3-540-75664-4
Software Technologies for Embedded and Ubiquitous Systems

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...

Continue reading
978-3-540-87785-1
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...

Continue reading
978-0-387-32937-6
Software-Implemented Hardware Fault Tolerance

Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...

Continue reading
978-3-540-37449-7
Sovereign Default Risk Valuation

Past cycles of sovereign lending and default in emerging markets suggest that debt crises will recur at some point. In addressing ...

Continue reading
978-3-540-76627-8
Stabilization, Safety, and Security of Distributed Systems

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...

Continue reading
978-3-030-64348-5
Stabilization, Safety, and Security of Distributed Systems

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...

Continue reading
978-3-540-89335-6
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...

Continue reading
978-3-540-69166-2
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

Continue reading
978-3-540-68524-1
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Continue reading
978-3-540-33087-5
The Basel II Risk Parameters

The focus of this book is on the estimation and validation of the three key Basel II risk parameters, probability of default ...

Continue reading
978-3-540-79228-4
Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...

Continue reading
978-3-540-72788-0
Theory and Applications of Satisfiability Testing - SAT 2007

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

Continue reading
978-3-540-89304-2
Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...

Continue reading
978-3-540-79263-5
Topics in Cryptology - CT-RSA 2008 : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings

This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...

Continue reading
Total Books: 81 - 100 /104