From a06b312356272a81b04e75bce1e2692d89310982 Mon Sep 17 00:00:00 2001 From: Henning Kopp Date: Mon, 25 Nov 2013 11:32:51 +0100 Subject: [PATCH] merged "theory" in the language-agnostic section --- free-programming-books.md | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/free-programming-books.md b/free-programming-books.md index d5c0f93f..3ec62dcb 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -117,7 +117,6 @@ * [SQL Server](#sql-server) * [Teradata](#teradata) * [TeX](#tex) -* [Theory](#theory) * [TypeScript](#typescript) * [Unix](#unix) * [Vim](#vim) @@ -198,6 +197,7 @@ ####Theoretical Computer Science * [An Introduction to the Theory of Computation](http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html) +* [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 * [Network Science](http://barabasilab.neu.edu/networksciencebook/index.html) @@ -357,6 +357,7 @@ * [Getting Real](http://gettingreal.37signals.com/) * [Magic Ink: Information Software and The Graphical Interface](http://worrydream.com/#!/MagicInk) by Bret Victor * [Modeling Reactive Systems with Statecharts](http://www.scribd.com/doc/167971960/Modeling-Reactive-Systems-With-Statecharts) +* [Networks, Crowds, and Markets: Reasoning About a Highly Connected World](http://www.cs.cornell.edu/home/kleinber/networks-book/) * [PNG: The Definitive Guide](http://www.libpng.org/pub/png/book/) * [Pointers And Memory](http://cslibrary.stanford.edu/102/PointersAndMemory.pdf) (PDF) * [Programmer's Motivation for Beginners](http://programmersmotivation.com/) @@ -1209,11 +1210,6 @@ See also [TeX](#tex) See also [LaTeX](#latex) -###Theory -* [Networks, Crowds, and Markets: Reasoning About a Highly Connected World](http://www.cs.cornell.edu/home/kleinber/networks-book/) -* [Homotopy Type Theory: Univalent Foundations of Mathematics](http://homotopytypetheory.org/book/) (PDF) - - ###TypeScript * [TypeScript Succinctly, Syncfusion](http://www.syncfusion.com/resources/techportal/ebooks/typescript) (PDF, Kindle) *(Just fill the fields with any values)* -- GitLab