Refine your search
Availability
-
Authors
- Burge, Mark James
- Burger, Wilhelm
- Chalmers, Dan
- Dathan, Brahma
- Diaconescu, Ada
- Dowek, Gilles
- Dubinsky, Yael
- Fernández, Maribel
- Huang, Chi-Yu
- Klawonn, Frank
- Lake, Peter
- Lee, Kent D.
- Makinson, David
- Moller, Faron
- O'Regan, Gerard
- O’Regan, Gerard
- Salomon, David
- Sestoft, Peter
- Vince, John
- Whiteley, Jonathan
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Artificial intellige...
- Artificial Intellige...
- Computational comple...
- Computer Science
- Computer science
- Computer software
- Computer vision
- Discrete Mathematics...
- Image Processing and...
- Information theory
- Logic design
- Logics and Meanings ...
- Math Applications in...
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Software Engineering...
- Theory of Computatio...
- Show more
- Show less