Utilisateur : Timothée
Développements
Références :
Références :
Langages formels, Calculabilité et Complexité - Carton
Le Langage des machines - Floyd, Beigel
Références :
Algorithms and complexity - Wilf
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Références :
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Références :
Références :
Les compilateurs - Reinhard Wilhelm, Dieter Maurer
Références :
Fondements mathématiques de l'informatique - Stern
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Références :
Leçons
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Algorithms from P to NP - Moret
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Text algorithms - Crochemore
Algorithms on string - Crochemore, Hancart et Lecroq
Eléments d'algorithmique - Beauquier, Berstel et Chrétienne
Flexible Pattern Matching in Strings - Gonzalo Navarro
Références :
Calculabilité et décidabilité - Autebert
Langages formels, Calculabilité et Complexité - Carton
Introduction to the theory of computation - Sipser
Introduction à l'informatique théorique: calculabilité & complexité - Arto Salomaa
Oral blanc
Références :
Fondements mathématiques de l'informatique - Stern
Logique mathématique Tome 1 - René Cori, Daniel Lascar
Logique mathématique Tome 2 - René Cori, Daniel Lascar
Introduction to the theory of computation - Sipser
Plan trop long et trop complet pour être réalisable en temps limité.
Références :
Term rewriting and All That - Franz Baader
Références :
Compilers - Aho, Ullman, Lam, Sethi
Les compilateurs - Reinhard Wilhelm, Dieter Maurer
Compiler design - Wilhelm
Références :
Les démonstrations et les algorithmes - Gilles Dowek
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Logique mathématique Tome 1 - René Cori, Daniel Lascar
Logique mathématique Tome 2 - René Cori, Daniel Lascar
Références :
Types de données et algorithmes - Christine Froidevaux, Marie-Claude Gaudel, Michèle Soria
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
The Design and Analysis of Algorithms - Kozen
Algorithms and complexity - Wilf
Invitation to Fixed Parameter Algorithms - Niedermeier