Feedback

X
#1

keyword: Computer systems – 31 free books.

pdf These books are available in PDF format - good for desktops, printing.

  • View As:
  • view list
  • view icon

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
No Faves
Read it Now

Cyber Security

Wei Lu et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Cyber Security
Wei Lu et al. (editors)
No Faves
Read it Now

Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools

Ivan Ganchev et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools
Ivan Ganchev et al. (editors)
No Faves
Read it Now

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Rio Yokota and Weigang Wu, editors

More Info
AVAILABLE!
Read it Now
Book cover
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Rio Yokota and Weigang Wu, editors
No Faves
Read it Now

Semantic Systems. In the Era of Knowledge Graphs

Eva Blomqvist et al.

More Info
AVAILABLE!
Read it Now
Book cover
Semantic Systems. In the Era of Knowledge Graphs
Eva Blomqvist et al.
No Faves
Read it Now

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Heike Wehrheim and Jordi Cabot

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Heike Wehrheim and Jordi Cabot
No Faves
Read it Now

Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings

Dhabaleswar K. Panda (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
Dhabaleswar K. Panda (editor)
No Faves
Read it Now

Autonomous Control for a Reliable Internet of Services

Ivan Ganchev et al.

More Info
AVAILABLE!
Read it Now
Book cover
Autonomous Control for a Reliable Internet of Services
Ivan Ganchev et al.
No Faves
Read it Now

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Rio Yokota and Weigang Wu, editors

More Info
AVAILABLE!
Read it Now
Book cover
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Rio Yokota and Weigang Wu, editors
No Faves
Read it Now