Refine your search
Availability
-
Authors
- Edmonds, Jeff (1)
- Kozen, Dexter (1)
-
Item types
- Book - Borrowing (2)
-
Locations
- First floor (2)
-
Series
-
Topics
- Algorithms (1)
- Computational complexity (1)
- Computer science (1)
- Invariants (1)
- Loops (Group theory) (1)
- Recursion theory (2)
- Show more
- Show less