Electronic Books

Total Books: 141 - 160 /164

Software-Implemented Hardware Fault Tolerance

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

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

Stabilization, Safety, and Security of Distributed Systems

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

Stabilization, Safety, and Security of Distributed Systems

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

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

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

Statistical Design

Although statistical design is one of the oldest branches of statistics, its importance is ever increasing, especially in ...

Structural Information and Communication Complexity (vol. # 4056)

This book constitutes the refereed proceedings of the 13th International Colloquium on Structural Information and Communication ...

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

This book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based ...

Supercomputing Frontiers

This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...

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

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

The Power of Humility in Leadership : Influencing as a Role Model / Franziska Frank

To many people, the words ‘leader’ and ‘humble’ are not natural bedfellows. Yet once they have grasped the definition ...

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

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

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

Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

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

Towards a Natural Social Contract Transformative Social-Ecological Innovation for a Sustainable, Healthy and Just Society

This book states that the endemic societal faultlines of our times are deeply intertwined and that they confront us with ...

Transactions on Computational Systems Biology X

The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...

Total Books: 141 - 160 /164