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

Cote : [77 LIS 86]

2 - Applied combinatorial mathematics
Beckenbach, Edwin Ford (1906-1982) (Ed.)

Cote : [08.7 BEC 64]

3 - Aufbau und Wirkungsweise von Ziffernrechenautomaten
Naslin, Pierre (1920-2009)

Cote : [77 NAS 61]

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

Cote : [77 BEL 71]

5 - Computers and computing. Informatique et calcul : Proceedings of the international conference FUTURE TRENDS OF COMPUTING dedicated to N. Gastinel, Grenoble, December 2-6, 1985
Chenin, Patrick (Ed.)   /   Robert, François (1939-....) (Ed.)   /   Di Crescenzo, Claire (Ed.)

Cote : [77 CHE 86]

6 - Decomposability : queueing and computer system applications
Courtois, Pierre Jacques (1932-....)

Cote : [94 COU 77]

7 - Design of on-line computer systems
Yourdon, Edward Nash (1944-....)

Cote : [77 YOU 72]

8 - Digital communications with space applications
Golomb, Solomon Wolf (1932-....) (Ed.)   /   Baumert, Leonard D.   /   Easterling, Mahlon F.   /   Stiffler, Jack J.   /   Viterbi, Andrew J. (1935-....) (Collab.)

Cote : [77.6 GOL 64]

9 - Finite-difference methods for partial differential equations
Forsythe, George E. (1917-1972)   /   Wasow, Wolfgang Richard (1909-1993)

Cote : [47.5 FOR 60]

10 - Mathematical methods for digital computers
Ralston, Anthony (Ed.)   /   Wilf, Herbert Saul (1931-2012) (Ed.)

Cote : [79 RAL 60]