| Bases de données (organisation générale) | Titulaire | ||||
| Bases de données (organisation générale) (partim) | Titulaire | ||||
| Computation structures | Titulaire | ||||
| Computation structures | Titulaire | ||||
| Introduction to the theory of computation | Titulaire | ||||
| Concurrent system verification and temporal logic | Titulaire | ||||