Faculté de Mathématiques et informatique
Bibliothèque universitaire d'informatique et de mathématiques
- Mathématiques pures | 291/406
- Informatique | 291/407
- Institut Max Planck d'informatique (MPI-INF) | Sa 18
- Institut Max Planck pour les systèmes logiciels | Sa 18a
- Sciences et technologies du langage | 291/308