| Database (general organisation) | Holder | ||||
| Database (general organisation) (partim) | Holder | ||||
| Computation structures | Holder | ||||
| Computation structures | Holder | ||||
| Introduction to the theory of computation | Holder | ||||
| Concurrent system verification and temporal logic | Holder | ||||