Feedback

X
#1

keyword: distributed computer systems – 20 free books.

  • View As:
  • view list
  • view icon

Supercomputing Frontiers

Dhabaleswar K. Panda and Michael Sullivan, editors

AVAILABLE!
Book cover
Dhabaleswar K. Panda and Michael Sullivan, editors

Computer Aided Verification

Constantin Enea and Akash Lal, editors

AVAILABLE!
Book cover
Constantin Enea and Akash Lal, editors

Computer Aided Verification

Constantin Enea and Akash Lal, editors

AVAILABLE!
Book cover
Constantin Enea and Akash Lal, editors

Algorithms for Big Data

Hannah Bast et al. (editors)

AVAILABLE!
Book cover
Hannah Bast et al. (editors)

Silicon Valley Cybersecurity Conference

Luis Bathen et al. (editors)

AVAILABLE!
Book cover
Luis Bathen et al. (editors)

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

AVAILABLE!
Book cover
Sharon Shoham and Yakir Vizel, editors

Programming Languages and Systems

Ilya Sergey (editor)

AVAILABLE!
Book cover
Ilya Sergey (editor)

Fundamental Approaches to Software Engineering

Einar Broch Johnsen and Manuel Wimmer

AVAILABLE!
Book cover
Einar Broch Johnsen and Manuel Wimmer

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors

Brain-Inspired Computing

Katrin Amunts et al. (editors)

AVAILABLE!
Book cover
Katrin Amunts et al. (editors)

Programming Languages and Systems

Nobuko Yoshida (editor)

AVAILABLE!
Book cover
Nobuko Yoshida (editor)

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Book cover