1 - Algorithmics of matching under preferences
Manlove, David F. (1974-....)   /   Mehlhorn, Kurt (1949-....) (With A Foreword)

Cote : [77 MAN 13]

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

Cote : [77 LIS 86]

3 - ADA from the beginning - Second edition
Skansholm, Jan (1949-)   /   Booth, Shirley (Trad.)

Cote : [77 SKA 94]

4 - Compilers
Aho, Alfred Vaino (1941-....)   /   Ullman, Jeffey David (1942-....)   /   Sethi Ravi

Cote : [77 AHO 86]

5 - Computer structures : Reading and examples
Bell, C. Gordon   /   Newell, Allen (1927-1993)

Cote : [77 BEL 71]

6 - Computer systems organization and programming
Katzan, Harry Jr.

Cote : [77 KAT 76]

7 - Data structures and algorithms
Aho, Alfred Vaino (1941-....)   /   Ullman, Jeffey David (1942-....)   /   Hopcroft, John E. (1939-....)

Cote : [77 AHO 87]

8 - Denotational semantics : the Scott-Strachey approach to programming language theory
Stoy, Joseph E.

Cote : [77.5 STO 77]

9 - Formal specification and software development
Bjorne, Dines (1937-....)   /   Jones, Cliff B. (1944-....)

Cote : [68 BJO 82]

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

Cote : [77.9 HOP 79]