Feedback

X
#1

keyword: theoretical computer science – 6 free books.

  • View As:
  • view list
  • view icon

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

AVAILABLE!
Book cover
Sharon Shoham and Yakir Vizel, editors

Automated Reasoning

Jasmin Blanchette et al. (editors)

AVAILABLE!
Book cover
Jasmin Blanchette et al. (editors)

Algorithms for Big Data

Hannah Bast et al. (editors)

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

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

AVAILABLE!
Book cover
Sharon Shoham and Yakir Vizel, editors

Symmetry Measures on Complex Networks

Angel Garrido (editor)

AVAILABLE!
Book cover
Angel Garrido (editor)