Feedback

X
#1

keyword: Computer system failures – 8 free books.

  • View As:
  • view list
  • view icon

Internet of Things. Information Processing in an Increasingly Connected World

Leon Strous and Vinton G. Cerf

More Info
AVAILABLE!
Read it Now
Book cover
Internet of Things. Information Processing in an Increasingly Connected World
Leon Strous and Vinton G. Cerf
No Faves
Read it Now

High-Performance Modelling and Simulation for Big Data Applications

Joanna Kołodziej and Horacio González-Vélez

More Info
AVAILABLE!
Read it Now
Book cover
High-Performance Modelling and Simulation for Big Data Applications
Joanna Kołodziej and Horacio González-Vélez
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Reiner Hähnle and Wil van der Aalst

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Reiner Hähnle and Wil van der Aalst
Faved by 1
Read it Now

Computer Aided Verification

Isil Dillig and Serdar Tasiran

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Isil Dillig and Serdar Tasiran
No Faves
Read it Now

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Luis Caires (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Luis Caires (editor)
Faved by 1
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk Beyer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Dirk Beyer et al. (editors)
Faved by 1
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tomas Vojnar and Lijun Zhang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tomas Vojnar and Lijun Zhang, editors
Faved by 1
Read it Now

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Flemming Nielson and David Sands, editors

More Info
AVAILABLE!
Read it Now
Book cover
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Flemming Nielson and David Sands, editors
Faved by 1
Read it Now