Refine your search
Availability
-
Authors
- Lewis, Harry R. (2)
- Linz, Peter (2)
- Sipser, Michael (1)
- Kulkarni, Vivek (1)
-
Item types
- Books (6)
-
Locations
- First Floor (6)
-
Topics
- Machine theory (6)
- Formal languages (4)
- Computational comple... (3)
- Logic, Symbolic and ... (2)