Grammaire, Automates, Compilation
[Aho-G1] Aho A.V., Ullmann J.D., Principles of Compiler Design, Addison Wesley, 1977, ISBN 978-0201000221.
[Gross-G1] Gross M., Lentin A., Notions sur les grammaires formelles, Gauthiers-Villars, 1967.
Complexité et preuves de programmes
[Brassard-A1] Brassard G., Bratley P., Algorithmique, conception et analyse, Masson, 1987, ISBN 2-225-80944-5.
[Wilf-A1] Wilf H.S., Algorithmes et complexité, Masson, 1989, ISBN 2-225-81701-4 -- Traduction Algorithms and complexity, Prentice-Hall.
Programmation structurée et algorithmique
[Aho-A2] Aho A.V., Ullmann J.D., Concepts fondamentaux de l'informatique, Dunod, 1993, ISBN 2-10-001683-0.
[Arsac-A1] Arsac J., Bases de la programmation, Dunod, 1983 -- Traduit en anglais et en espagnol. Ouvrage didactique.
[Courtin-A1] Courtin J., Kowarsky I., Initiation à l'algorithmique et aux structures de données, Dunod, 1998 -- 2 volumes - Nombreux exercices avec corrections - Études de cas.
[Goldschlager-A1] Goldschlager, Lister, Informatique et algorithmique, InterEditions, 1989, ISBN 2-7296-0127-9 -- Aspects fondamentaux de la science informatique.
[Gregoire-A1] Grégoire, Informatique-Programmation, Masson, 1986 -- T1 La programmation structurée -- T2 La spécification récursive et l'analyse d'algorithmes -- T3 Exercices et corrections.
[Haro-A1] Haro C., Algorithmique, Raisonner pour concevoir, Eni-Editions, 2009 (1e édition), ISBN 978-2-7460-4844-7.
Structures de données et Algorithmes
[Baynat-A1] Baynat B., Exercices et problèmes d'algorithmique, Dunod, 2010 (3e édition), ISBN 978-2-10-054991-7 -- 155 énoncés avec solutions détaillées -- Très bon complément de [L'algorithmique, Cormen2010a].
[Cormen-A1] Cormen T.H., Leiserson C.E., Rivest R.L., Stein C., Algorithmique, Dunod Informatique, 2010 (3e édition), ISBN 2-10-003922-9 -- Algorithmique fondamentale. Cours avec 957 exercices et 158 problèmes -- Compléments en ligne www.dunod.com.
[Froidevaux-A1] Froidevaux Ch., Gaudel M.-C., Soria M., Types de données et algorithmes, McGraw-Hill, 1990 -- Algorithmique fondamentale -- Pseudo-code.
[Knuth-A1] Knuth D., The art of computer programming, Addison Wesley, 1973 -- 3 volumes. Ouvrages de référence.
[Neapolitan-A1] Neapolitan R., Naimipour K., Foundations of Algorithms - Using Java Pseudo-code, Jones and Bartlett Publishers, 2003, ISBN 0-7637-2129-8.
Programmation C++
[Deitel-I1] Deitel H.M., Deitel P.J., C++ Comment programmer, Reynald Goulet Inc., 2001 (4e édition), ISBN 2-89377-290-0 -- Anglais, sous le titre C++ How to Program, Prentice Hall, 2001. Apprentissage du langage et de la programmation. Nombreux exercices (non corrigés) et self-tests ; large couverture du langage ; la 4e édition aborde des sujets très diversifiés (UML, XHTML, CGI, etc.).
[Horstmann-I1] Hortmann C.S., Budd T., La bible C++, Micro-Application, 2004 (1e édition), ISBN 978-2-7429-3717-2 -- Compléments sur www.microapp.com -- Site de l'auteur http://www.horstmann.com/.
[Stroustrup-I1] Stroustrup B., Programmation - Principes et pratique avec C++, Pearson Education, 2010 (édition spéciale), ISBN 978-2-7440-7442-4 -- Anglais, The C++ Programming Language, Addison-Wesley, 2000 -- Présentation du langage. Découverte du C++ pour programmeur confirmé. Ouvrage de référence du langage C++ -- Écrit par le créateur du langage. Contient des informations intéressantes, des exemples de design, de très nombreux exercices (avec niveaux) -- Accès aux ressources sur http://www.programmation.stroustrup.pearson.fr/.
Programmation Java
[Deitel-J1] Deitel H.M., Deitel P.J., Java - Comment Programmer, Reynald Goulet Inc., 2002 (4e édition), ISBN 2-89377-254-4 -- Anglais, sous le titre Java How to Program, Prentice Hall. Apprentissage du langage et de la programmation. Nombreux exercices (non corrigés) et self-tests ; large couverture du langage.
[Delannoy-J1] Delannoy C., Programmer en Java, Eyrolles, 2010 (6e édition) -- Débutant en Java, programmeur, peu expérimenté. Accompagné d'un DVD.
[Tasso-J1] Tasso A., Le livre de Java premier langage, Eyrolles, 2009 (6e édition) -- 90 exercices corrigés et CD-Rom -- Best-seller pour étudiants.
Olympiades Informatique Algorithmique
[IOI-olympiades] International Olympiad in Informatics -- Est une compétition annuelle en sciences informatiques (algorithmique) rassemblant des lycéens du monde entier.
Site officiel des IOI http://www.ioinformatics.org/index.shtml
Site officiel de la délégation française http://www.france-ioi.org/
Site officiel de la délégation belge https://www.be-oi.be/fr/
[ACM-ICPC] ACM International Collegiate Programming Contest -- Concours annuel de programmation ouvert aux étudiants. À l'origine américain, il rassemble aujourd'hui des universités du monde entier.
Site officiel http://cm.baylor.edu/welcome.icpc