1 - Automata-theoretic aspects of formal power series
Salomaa, Arto (1934-....)   /   Soittola, Matti (1945-....)   /   Brauer, Friedrich Ludwig (1924-....) (Ed.)   /   Gries, David (1939-....) (Ed.)

Cote : [77.9 SAL 78]

2 - Computational geometry : an introduction
Preparata, Franco P.   /   Shamos, Michael Ian

Cote : [68 PRE 85]

3 - The design of well-structured and correct programs
Alagic, Suad (1946-....)   /   Arbib, Michael Antony (1940-....)

Cote : [02 ALA 78]

4 - The science of programming
Gries, David (1939-....)   /   Dijkstra, Edsger W. (Collab.)

Cote : [77.6 GRI 81]