mirror of
https://github.com/EbookFoundation/free-programming-books.git
synced 2024-12-18 09:26:10 +00:00
Compare commits
6 Commits
36d7b90e61
...
edd81d40d6
Author | SHA1 | Date | |
---|---|---|---|
|
edd81d40d6 | ||
|
2d1bd6bf03 | ||
|
1e86318ce2 | ||
|
f92b82fcc8 | ||
|
d419cb44f6 | ||
|
73fa89797d |
@ -247,7 +247,7 @@ Books on general-purpose programming that don't focus on a specific language are
|
|||||||
* [Ada Reference Manual - ISO/IEC 8652:2012(E) Language and Standard Libraries](http://www.ada-auth.org/standards/12rm/RM-Final.pdf) (PDF)
|
* [Ada Reference Manual - ISO/IEC 8652:2012(E) Language and Standard Libraries](http://www.ada-auth.org/standards/12rm/RM-Final.pdf) (PDF)
|
||||||
* [Introduction To Ada](https://learn.adacore.com/courses/intro-to-ada/index.html)
|
* [Introduction To Ada](https://learn.adacore.com/courses/intro-to-ada/index.html)
|
||||||
* [Introduction To SPARK](https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html)
|
* [Introduction To SPARK](https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html)
|
||||||
* [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html)
|
* [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html) (LGPL)
|
||||||
|
|
||||||
|
|
||||||
### Agda
|
### Agda
|
||||||
@ -372,7 +372,7 @@ Books on general-purpose programming that don't focus on a specific language are
|
|||||||
|
|
||||||
### Autotools
|
### Autotools
|
||||||
|
|
||||||
* [Autotools Mythbuster](https://autotools.io/index.html)
|
* [Autotools Mythbuster](https://autotools.io/index.html)- Diego Elio “Flameeyes” Pettenò (CC BY-NC-SA)
|
||||||
* [GNU Autoconf, Automake and Libtool](http://sourceware.org/autobook/)
|
* [GNU Autoconf, Automake and Libtool](http://sourceware.org/autobook/)
|
||||||
|
|
||||||
|
|
||||||
|
@ -868,6 +868,7 @@ Kerridge (PDF) (email address *requested*, not required)
|
|||||||
* [Crypto 101 - Crypto for everyone](https://www.crypto101.io)
|
* [Crypto 101 - Crypto for everyone](https://www.crypto101.io)
|
||||||
* [Cryptography](https://en.wikibooks.org/wiki/Cryptography) - Wikibooks (HTML) *(:construction: in process)*
|
* [Cryptography](https://en.wikibooks.org/wiki/Cryptography) - Wikibooks (HTML) *(:construction: in process)*
|
||||||
* [CryptoParty Handbook](https://unglue.it/work/141611/)
|
* [CryptoParty Handbook](https://unglue.it/work/141611/)
|
||||||
|
* [Fuzzing Book](https://www.fuzzingbook.org) - Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, Christian Holler (HTML)
|
||||||
* [Gray Hat Hacking: The Ethical Hacker's Handbook](https://pages.cs.wisc.edu/~ace/media/gray-hat-hacking.pdf) - Allen Harper, Jonathan Ness, Chris Eagle, Shon Harris, Gideon Lenkey, Terron Williams (PDF)
|
* [Gray Hat Hacking: The Ethical Hacker's Handbook](https://pages.cs.wisc.edu/~ace/media/gray-hat-hacking.pdf) - Allen Harper, Jonathan Ness, Chris Eagle, Shon Harris, Gideon Lenkey, Terron Williams (PDF)
|
||||||
* [Handbook of Applied Cryptography](https://cacr.uwaterloo.ca/hac/index.html)
|
* [Handbook of Applied Cryptography](https://cacr.uwaterloo.ca/hac/index.html)
|
||||||
* [How HTTPS works](https://howhttps.works) - dnsimple
|
* [How HTTPS works](https://howhttps.works) - dnsimple
|
||||||
@ -945,6 +946,7 @@ Kerridge (PDF) (email address *requested*, not required)
|
|||||||
* [Category Theory for Programmers](https://github.com/hmemcpy/milewski-ctfp-pdf) - Bartosz Milewski (PDF)
|
* [Category Theory for Programmers](https://github.com/hmemcpy/milewski-ctfp-pdf) - Bartosz Milewski (PDF)
|
||||||
* [Delftse Foundations of Computation](https://textbooks.open.tudelft.nl/textbooks/catalog/book/13) - Stefan Hugtenburgand, Neil Yorke-Smith @ TU Delft Open (PDF)
|
* [Delftse Foundations of Computation](https://textbooks.open.tudelft.nl/textbooks/catalog/book/13) - Stefan Hugtenburgand, Neil Yorke-Smith @ TU Delft Open (PDF)
|
||||||
* [Homotopy Type Theory: Univalent Foundations of Mathematics](https://homotopytypetheory.org/book/) (PDF)
|
* [Homotopy Type Theory: Univalent Foundations of Mathematics](https://homotopytypetheory.org/book/) (PDF)
|
||||||
|
* [Introduction to Theoretical Computer Science](https://files.boazbarak.org/introtcs/lnotes_book.pdf) - Boaz Barak (PDF)
|
||||||
* [Introduction to Theory of Computation](https://cglab.ca/~michiel/TheoryOfComputation/) - Anil Maheshwari, Michiel Smid (PDF)
|
* [Introduction to Theory of Computation](https://cglab.ca/~michiel/TheoryOfComputation/) - Anil Maheshwari, Michiel Smid (PDF)
|
||||||
* [Models of Computation](https://cs.brown.edu/people/jes/book/) - John E. Savage
|
* [Models of Computation](https://cs.brown.edu/people/jes/book/) - John E. Savage
|
||||||
* [Principles of Programming Languages](https://web.archive.org/web/20150418034451/http://www.cs.jhu.edu/~scott/pl/book/dist/) - Scott F. Smith *(:card_file_box: archived)*
|
* [Principles of Programming Languages](https://web.archive.org/web/20150418034451/http://www.cs.jhu.edu/~scott/pl/book/dist/) - Scott F. Smith *(:card_file_box: archived)*
|
||||||
|
Loading…
Reference in New Issue
Block a user