Liste des livres qui sont transférés dans la bibliothèque de l'agrégation d'informatique
- Abelson, Sussman, Sussman ; Structure and interpretation of computer programs
- Albert L. Cours et exercices d'informatique
- Appel A.W Modern compuler implementation
- Arnold, Guessarian. Mathématiques pour l'informatique
- Autebert. Calculabilité et décidabilité
- Autebert. Théorie des langages et des automates
- Baase, van Gelder. Computer algorithms. Introduction to design & analysis
- Badouel & al. Problèmes d'informatique fondamentale
- Bajard Exercices d'algorithmique
- Belghiti et a. Les clés pour l'info
- Carton. Langages formels, calculabilité et complexité
- Cogis, Robert : Au-delà des ponts de Könisberg. Théorie des graphes.
- Cori, Lascar : Logique mathématique
- Cormen, Leiserston, Rivest : introduction à l'algorithmique
- Cousineau, Mauny : approche fonctionnelle de la programmation
- Damphousse Petite introduction à l'algorithmique
- David, Nour, Raffali : introduction à la logique.
- Dehornoy : complexité et décidabilité
- Dowek, Lévy : introduction à la théorie des langages de programmation
- Garey, Johnson : computers & intractability
- Granjon : informatique, algorithmes en Pascal et en C
- Gusfield: algorithms on strings, trees and sequences
- Hammer & co : C++ toolbox for verified computing
- Harel Computer LTD : what they really can't do.
- Harel. Algorithmics. The spirit of computing
- Hopcroft & al. Introduction to automata theroy, languages and computation
- Kernighan, Ritchie : le langage C
- Lalement. Logique, réduction, résolution.
- Lascar. La théorie des modèles en peu de maux
- Mitchell Concepts in programming languages
- Papadimitriou. Computational complexity
- Petazzoni Seize problèmes d'informatique
- Pevzner. Computational molecular biology: an algorithmic approach
- Sedgewick Algorithms (générique, en Java, en C).
- Sipser. Introduction to the theory of computation
- Stroustrup. Le langage C++
- Turing, Girard. La machine de Turing
- Vazirani. Algorithmes d'approximation
- Warin. L'algorithmique, votre passeport pour la programmation
- Waterman. Introduction to computational biology