Informatique théorique
- 2020 Turing Ă la plage.
Auteurs : Guerraoui Rachid ; Hoang LĂȘ NguyĂȘn
- 2015 L’information.
Auteurs : Gleick James ; Bouillot Françoise. Trad.
- 2013 Le vocabulaire informatique.
Auteurs : Centrella Maria ; Silvestri Domenico. Préf.
- 2013 Le chercheur fantĂŽme.
Auteur : Cousin Robin
- 2012 Petite mathématique du cerveau.
Auteurs : Berrou Claude ; Gripon Vincent
- 2006 Complexités.
Auteur : Delahaye Jean-Paul
- 2002 Le calcul confié aux machines.
Auteur : Watier Guillaume
- 1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
- 1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
- 1992 Le calculable et la complexité.
Auteur : Cardon Alain