• 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