Topic

Computers, reliability

70 books

Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings cover

Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

edited by Erwin Schoitsch

Fatal Defect: Chasing Killer Computer Bugs cover

Fatal Defect: Chasing Killer Computer Bugs

Ivars Peterson.

Measuring computer performance: a practitioner's guide cover

Measuring computer performance: a practitioner's guide

David J. Lilja.

Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Jérémie Guiochet, Mohamed Kaâniche, Friedemann Bitsch, Amund Skavhaug, Barbara Gallina

Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings

Floor Koornneef, Coen van Gulijk

Resilience Assessment and Evaluation of Computing Systems cover

Resilience Assessment and Evaluation of Computing Systems

edited by Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel

Responsibility and dependable systems cover

Responsibility and dependable systems

Guy Dewsbury and John Dobson (eds.).

Architecting Dependable Systems (Lecture Notes in Computer Science) cover

Architecting Dependable Systems (Lecture Notes in Computer Science)

Cristina Gacek, Alexander Romanovsky, Rogério de Lemos

Open Systems Dependability: Dependability Engineering for Ever-Changing Systems, Second Edition

Mario Tokoro

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) cover

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

Donald MacKenzie

Showing 10 of 70 books

Related Topics