Feedback

X
#1

keyword: Computer programming – 21 free books.

doab These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.

All these books are free to read: either they're distributed with a free license, or they're in the public domain.

  • View As:
  • view list
  • view icon

Structure and Interpretation of Computer Programs

Harold Abelson and Gerald Jay Sussman

AVAILABLE!
Book cover
Harold Abelson and Gerald Jay Sussman

The Digital Public Domain: Foundations for an Open Culture

Melanie Dulong De Rosnay et al. (editors)

SAY THANKS!

$34 of thanks

from 16 ungluers

and 0 others

Book cover
Melanie Dulong De Rosnay et al. (editors)

Pro Git

Ben Straub and Scott Chacon

AVAILABLE!
Book cover
Ben Straub and Scott Chacon

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

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)

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)

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)

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

AVAILABLE!
Book cover
André Platzer and Geoff Sutcliffe, editors

Programming Languages and Systems

Nobuko Yoshida (editor)

AVAILABLE!
Book cover
Nobuko Yoshida (editor)
AVAILABLE!
Book cover

Fundamental Approaches to Software Engineering

Heike Wehrheim and Jordi Cabot

AVAILABLE!
Book cover
Heike Wehrheim and Jordi Cabot

Pro TBB

Michael Voss et al.

AVAILABLE!
Book cover
Michael Voss et al.

Australasian Conference on Information Systems 2018

_ Australasian Conference on Information Systems and Australasian Conference on Information Systems, editors

AVAILABLE!
Book cover
_ Australasian Conference on Information Systems and Australasian Conference on Information Systems, editors