Sujet RAMEAU de la BNF. · Voir l'autorité matière sur catalogue.bnf.fr
Seules figurent ici les œuvres que la BNF a explicitement rattachées à ce sujet (vedette RAMEAU du dépôt légal). Beaucoup d'ouvrages concernés n'en portent pas : cette liste n'est pas exhaustive.
| Titre | Auteur(s) | Éditeur | Année | Pages |
|---|---|---|---|---|
| Calculabilité | Benoît Monin, Ludovic Patey | Calvage & Mounet | 2022 | 828 |
| Langages formels | Olivier Carton | Vuibert | 2014 | 255 |
| Langages formels, calculabilité et complexité | Olivier Carton | Vuibert | 2008 | 237 |
| Calculateurs, calculs, calculabilité | Gilles Lesventes, Olivier Ridoux | Dunod | 2007 | 204 |
| Calculabilité, complexité et approximation | Jean-François Rey | Vuibert informatique | 2004 | 363 |
| Le langage des machines | Daniel Krob, Richard Beigel, Robert W. Floyd | International Thomson publ. France | 1995 | 594 |
| Calculabilité et décidabilité | Jean-Michel Autebert | Masson | 1992 | 118 |
| Le calculable et la complexité | Alain Cardon | Institut de recherche sur l'enseignement des mathématiques de Rouen | 1992 | 30 |
| Introduction à la calculabilité | Pierre Wolper | Interéd. | 1991 | 268 |
| Calculabilité effective et algorithmique théorique | Patrick Vollat | Eyrolles | 1989 | 186 |
| Leçons sur le calcul des fonctions | Joseph-Louis Lagrange | Courcier | 1806 | 501 |
