Utilisateur : Promo ENSL 2015
Développements
Leçons
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Types de données et algorithmes - Christine Froidevaux, Marie-Claude Gaudel, Michèle Soria
Références :
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Algorithm Design - Kleinberg
Optimisation combinatoire - Rasches
Références :
Introduction to automata theory, languages and computation - Hopcroft, Ullman
Elements de théorie des automates - Sakarovitch
Références :
Introduction to the theory of computation - Sipser
Introduction to automata theory, languages and computation - Hopcroft, Ullman
Théorie des langages et des automates - Autebert
Langages formels, Calculabilité et Complexité - Carton
Le Langage des machines - Floyd, Beigel
Leçon d'une qualité assez faible.
Références :
Mathématiques de l'informatique - Dehornoy
Références :
Introduction to the theory of computation - Sipser
Introduction to automata theory, languages and computation - Hopcroft, Ullman
Mathématiques de l'informatique - Dehornoy
Introduction à la calculabilité - Wolper
Références :
Calculabilité et décidabilité - Autebert
Introduction à l'informatique théorique: calculabilité & complexité - Arto Salomaa
Mathématiques de l'informatique - Dehornoy
Logique et fondements de l'informatique - Rougemont, Lassaigne
Références :
Computational complexity - Papadimitriou
Oral blanc
Références :
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Les démonstrations et les algorithmes - Gilles Dowek
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Oral blanc
Références :
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Term rewriting and All That - Franz Baader
Fondements mathématiques de l'informatique - Stern
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
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Text algorithms - Crochemore
Références :
Algebraic graph theory - Biggs
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Computers and intractability - Garey, Johnson
New NP-hard and NP-complete polynomial and integer divisibility - Plaisted
Backtrack: An O(1) expected time algorithm for the graph coloring problem - Wilf