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

Cote : [78 GAR 79]

2 - Bounded artithmetic
Buss, Samuel R.

Cote : [05 BUS 86]

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

Cote : [08.7 PAP 82]

4 - Combinatorial optimization : networks and matroids
Lawler, Eugene Leighton (1933-1994)

Cote : [08.7 LAW 76]

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

Cote : [68 EDE 10]

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

Cote : [08.7 JER 03]

7 - Introduction to computability
Hennie, Frederick C.

Cote : [05 HEN 77]

8 - Problems of reducing the exhaustive search
Kreinovich, Vladik (Ed.)   /   Minachin, V. (Trad.)   /   Mints, G. (Ed.)

Cote : [05 KRE 97]

9 - The computational complexity of logical theories
Ferrante, Jeanne (1949-....)   /   Rackoff, Charles W. (1948-....)

Cote : [05 FER 79]