| 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 | ||||
| Introduction to formal languages and automata | Linz, Peter | Books | DAIICT |
005.131 LIN | Available |