Titre	Cote	Emplacement
Advances in computers	A 231	Salle (mezzanine)
Annals of mathematical logic	A 679	Salle (mezzanine)
Annals of pure and applied logic	A 709	Salle (mezzanine)
Bulletin de la direction des études et recherches. EDF : série C	B 499	Salle (mezzanine)
Bulletin of symbolic logic	B 693	Salle (mezzanine)
Chiffres	C 326	Salle (mezzanine)
Communications of the association for computing machinery (ACM)	C 643 A	Salle (mezzanine)
Information and control	I 182	Salle (mezzanine)
Journal of symbolic logic	J 771	Salle (mezzanine)
Journal of the association for computing machinery (ACM)	J 790	Salle (mezzanine)
Mathematical tables and other aids to computation	M 540	Magasin
RAIRO. Automatique	R 33	Magasin
RAIRO. Automatique, productique, informatique industrielle	R 33	Magasin
RAIRO. Informatique	R 34	Magasin
RAIRO. Informatique théorique	R 35	Magasin
RAIRO. Informatique théorique et applications	R 35	Magasin
RAIRO. Recherche opérationnelle	R 36	Magasin
Review of symbolic logic	R 308	Salle (mezzanine)
Revue française d’automatique info., rech. opér. Série verte : rech. opérationnelle	R 706	Magasin
Revue française d’automatique, info., rech. opér. Série bleue : informatique	R 704	Magasin
Revue française d’automatique, info., rech. opér. Série jaune : automatique	R 703	Magasin
Revue française d’automatique, info., rech. opér. Série rouge : analyse numérique	R 702	Magasin
Revue française d’automatique, info., rech. opér. Série rouge : info. théorique	R 705	Magasin
Revue française de recherche opérationnelle	R 700	Magasin
Revue française de traitement de l’information. Chiffres	R 701	Magasin
Revue française d’informatique et de recherche opérationnelle. Série bleue	R 704	Magasin
Revue française d’informatique et de recherche opérationnelle. Série rouge	R 702	Magasin
Revue française d’informatique et de recherche opérationnelle. Série verte	R 706	Magasin