knowledge/programming-books
1
0
Fork 0
mirror of https://github.com/namibia/free-programming-books.git synced 2024-12-24 15:55:26 +00:00
Code Issues Releases Activity

Remove dead links, close #979

Browse Source
This commit is contained in:
Victor Felder 2014-05-17 13:42:52 +02:00
parent 56b5290efb
commit 7bedc19637
2 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
free-programming-books-fr.md
View File

@ -41,7 +41,6 @@
###Non dépendant du langage
####Algorithmique
* [Algorithmique](http://pauillac.inria.fr/~quercia/cdrom/cours), par Michel Quercia
* [Éléments d'algorithmique](https://www.rocq.inria.fr/secret/Matthieu.Finiasz/teaching/ENSTA/IN101%20-%20poly%20algo.pdf) par Françoise Levy-dit-Vehel et Matthieu Finiasz
* [Éléments d'algorithmique](http://www-igm.univ-mlv.fr/~berstel/Elements/Elements.pdf) par D. Beauquier, J. Berstel, et Ph. Chrétienne
* [France-IOI](http://www.france-ioi.org/)
* [Prologin](http://www.prologin.org/)
@ -88,7 +87,6 @@
* [Le C en 20 heures](http://framabook.org/6-le-c-en-20-heures/), par Eric Berthomier et Daniel Schang
* [Initiation à la programmation (en C++)](https://www.coursera.org/course/intro-cpp-fr), MOOC de l'École Polytechnique Fédérale de Lausanne
* [Introduction à la rétro-ingénierie de binaires](http://progdupeu.pl/articles/45/introduction-a-la-retro-ingenierie-de-binaires), à partir de code C compilé pour x86.
* [Programmation en C](https://www.rocq.inria.fr/secret/Matthieu.Finiasz/teaching/ENSTA/IN101%20-%20poly%20C.pdf) par Pierre-Alain Fouque et David Pointcheval
###Coq

5
free-programming-books.md
View File

@ -262,7 +262,6 @@
* [Compiling Scala for the Java Virtual Machine](http://lampwww.epfl.ch/~schinz/thesis-final-A4.pdf) - Michel Schinz
* [Implementing Functional Languages: A Tutorial](http://research.microsoft.com/en-us/um/people/simonpj/Papers/pj-lester-book/) - Simon Peyton Jones, David Lester
* [Let's Build a Compiler](http://www.stack.nl/~marcov/compiler.pdf) (PDF)
* [Linkers and loaders](http://www.iecc.com/linker/)
* [Practical and Theoretical Aspects of Compiler Construction](http://www.stanford.edu/class/archive/cs/cs143/cs143.1128/) (class lectures and slides)
@ -543,7 +542,6 @@
###Ada
* [A Guide to Ada for C and C++ Programmers](http://www.cs.uni.edu/~mccormic/4740/guide-c2ada.pdf) (PDF)
* [Ada 95: The Craft of Object-Oriented Programming](http://faculty.cs.wwu.edu/reedyc/AdaResources/bookhtml/contents.htm)
* [Ada Distilled](http://www.adapower.com/pdfs/AdaDistilled07-27-2003.pdf) (PDF)
* [Ada for Software Engineers](http://pnyf.inf.elte.hu/kto/oktatas/ada/books/ase.pdf) (PDF)
* [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html)
@ -621,7 +619,6 @@
* [BASH Programming- Mike G mikkey](http://tldp.org/HOWTO/Bash-Prog-Intro-HOWTO.html)
* [Getting Started with BASH](http://www.hypexr.org/bash_tutorial.php)
* [Google Shell Style Guide](http://google-styleguide.googlecode.com/svn/trunk/shell.xml)
* [Learning the bash Shell](http://www.redbrick.dcu.ie/~teapott/MECS/Notes/learning_bash.pdf)
* [Lhunath's Bash Guide](http://mywiki.wooledge.org/BashGuide)
* [The Command Line Crash Course](http://learncodethehardway.org/cli/book/) (also a Powershell reference)
* [Conquering the Command Line](http://conqueringthecommandline.com/book/frontmatter) - Mark Bates
@ -1041,7 +1038,6 @@ See also [TeX](#tex)
* [Getting Started with Ubuntu](http://ubuntu-manual.org/)
* [GNU Autoconf, Automake and Libtool](http://sources.redhat.com/autobook/download.html)
* [GTK+/Gnome Application Development](http://www.linuxtopia.org/online_books/gui_toolkit_guides/gtk+_gnome_application_development/index.html)
* [Learn Linux The Hard Way](http://nixsrv.com/llthw)
* [Learning Debian GNU/Linux](http://oreilly.com/openbook/debian/book/index.html)
* [Linux Administrator's Security Guide](http://www.linuxtopia.org/online_books/linux_administrators_security_guide/index.html)
* [Linux Advanced Routing & Traffic Control HOWTO](http://lartc.org/)
@ -1432,7 +1428,6 @@ See also [TeX](#tex)
* [A community-driven Ruby style guide](https://github.com/bbatsov/ruby-style-guide)
* [CodeCademy Ruby](http://www.codecademy.com/tracks/ruby)
* [How To Think Like a Computer Scientist: Learning With Ruby](http://mysite.verizon.net/hpassel/thinkruby/)
* [I Love Ruby](http://goo.gl/FW6slH)
* [Just Enough Ruby to Get By](http://dmtri.com/posts/65)
* [Learn Ruby the hard way](http://ruby.learncodethehardway.org/book/)
* [Learn to Program, by Chris Pine](http://pine.fm/LearnToProgram/)