| Title | Author | Item type | Location | Collection | Call number | Copy number | Status | Date due | Notes | Link |
|---|---|---|---|---|---|---|---|---|---|---|
| Introduction to the theory of computation | Sipser, Michael | Books | DAIICT |
511.3 SIP | Available | |||||
| Languages and machines : an introduction to the theory of computer science | Sudkamp, Thomas A. | Books | DAIICT |
511.3 SUD | Checked out | 15/05/2024 | ||||
| Principles of model checking | Baier, Christel | Books | DAIICT |
004.24 BAI | Checked out | 15/05/2024 |