1 - Langage PASCAL et logique du premier ordre. Tome 2 : Récursivité et dérécursification, preuves et complexité d'algorithmes
Margenstern, Maurice

Cote : [77 MAR 90-2]

2 - Algorithmes et programmation. 1ère année - Tronc commun
Cori, Robert   /   Lévy, Jean-Jacques

Cote : [77.5 COR 96]

3 - Algorithmique et programmation en Pascal. Cours
Cousot, Patrick

Cote : [68 COU 92]

4 - Langage PASCAL et logique du premier ordre. Tome 1 : Programmation en Pascal, prédicats, systèmes formels, fonctions récursives
Margenstern, Maurice

Cote : [77 MAR 89-1]

5 - Numerical recipes : The art of scientific computing
Press, William H.   /   Flannery, Brian P.   /   Teukolsky, Saul Arno (1947-....)   /   Vetterling, William T. (Collab.)

Cote : [79.5 PRE 86]

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

Cote : [02 ALA 78]