ch0ic3/free-programming-books
1
0
Fork 0
mirror of https://github.com/EbookFoundation/free-programming-books.git synced 2024-12-20 02:16:13 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update free-programming-books.md

Browse Source 
Added a link to "Models of Computation" by John E. Savage to the
"Theoretical Computer Science" category.
This commit is contained in:
Stevo-S 2013-11-28 18:25:17 +03:00
parent 8b6b4437a6
commit 36bd5408eb
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
free-programming-books.md
View File

@ -200,6 +200,7 @@
* [Homotopy Type Theory: Univalent Foundations of Mathematics](http://homotopytypetheory.org/book/) (PDF)
* [Introduction to Computing](http://www.computingbook.org/)
* [Introduction to Theory of Computation](http://cg.scs.carleton.ca/~michiel/TheoryOfComputation/) (PDF) - Anil Maheshwari and Michiel Smid
* [Models of Computation](http://cs.brown.edu/people/jes/book/) - John E. Savage
* [Network Science](http://barabasilab.neu.edu/networksciencebook/index.html)
* [Programming Languages: Application and Interpretation (2nd Edition)](http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/)
* [Structure and Interpretation of Computer Programs](http://mitpress.mit.edu/sicp/)