1 - Abstraction and specification in program development
Liskov, Barbara   /   Guttag, John

Cote : [77 LIS 86]

2 - Computer architecture
Blanchet, Gérard (1948-....)   /   Dupouy, Bertrand (1950-....)

Cote : [77 BLA 13]

3 - Graph algorithms. Second edition
Even, Shimon (1935-2004)   /   Even, Guy (Ed.)   /   Karp, Richard M. (Foreword)

Cote : [08.7 EVE 12]