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 - Bifurcations et chaos : une introduction à la dynamique contemporaine avec des programmes en Pascal, Fortran et Mathematica
Dang-Vu, Huyên   /   Delcarte, Claudine

Cote : [93 DAN 00]

5 - L'oeuvre scientifique de Blaise Pascal : Bibliographie, critique et analyse de tous les travaux qui s'y rapportent
Maire, Albert   /   Duhem, Pierre (1861-1916) (Préface)

Cote : [00 MAI 1912]

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

7 - Le calcul mécanique - Quatrième édition
Taton, René (1915-2004)   /   Flad, Jean-Paul

Cote : [00 TAT 63]

8 - Les fondements de la géométrie. Edition critique avec introduction et compléments préparée par Paul Rossier
Hilbert, David (1862-1943)   /   Rossier, Paul (Trad.)   /   Bernays, Paul (1888-1977)

Cote : [60 HIL 71]

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

10 - Pascal entre Eudoxe et Cantor
Gardies, Jean-Louis (1925-2004)

Cote : [02 GAR 84]