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 - Algorithmique et programmation en Pascal. Cours
Cousot, Patrick

Cote : [68 COU 92]

3 - 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]

4 - 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]