1 - Computers and intractability : a guide to the theory of NP-completeness
Garey, Michael R.   /   Johnson, David S.

Cote : [78 GAR 79]

2 - Langage PASCAL et logique du premier ordre. Tome 2 : Récursivité et dérécursification, preuves et complexité d'algorithmes
Margenstern, Maurice

Cote : [77 MAR 90-2]

3 - Sparsity. Graphs, structures, and algorithms
Nesetril, Jaroslav (1946-....)   /   Ossona de Mendez, Patrice

Cote : [08 NES 12]

4 - Algorithmic complexity and communications problems
Barthélemy, Jean-Pierre (1945-....)   /   Fritsch-Mignotte, Catherine (Translated)   /   Mignotte, Maurice (Translated)   /   Lobstein, Antoine (1958-....)   /   Cohen, Gérard (1951-....)

Cote : [77 BAR 96]

5 - Combinatorial optimization : algorithms and complexity
Papadimitriou, Christos H. (1949-....)   /   Steiglitz, Kenneth (1939-....)

Cote : [08.7 PAP 82]

6 - Complexity : knots, colourings and counting
Welsh, Dominic James Anthony

Cote : [51 WEL 93]

7 - Computational topology : an introduction
Edelsbrunner, Herbert (1958-....)   /   Harer, John L. (1952-....)

Cote : [68 EDE 10]

8 - Counting, sampling and integrating : algorithms and complexity
Jerrum, Mark (1955-....)

Cote : [08.7 JER 03]

9 - Elements of the theory of computation
Lewis, Harry R.   /   Papadimitriou, Christos H. (1949-....)

Cote : [77.9 LEW 80]

10 - Introduction to automata theory languages, and computation - Second edition
Hopcroft, John E. (1939-....)   /   Ullman, Jeffey David (1942-....)   /   Motwani, Rajeev

Cote : [77.9 HOP 03]