Refine your search
Availability
-
Authors
- Barkaoui, Kamel
- Calude, Elena
- Cavalcanti, Ana
- Dang, Zhe
- Durand, Bruno
- Harju, Tero
- Ibarra, Oscar H.
- Kolaitis, Phokion G.
- Liu, Zhiming
- Lodaya, Kamal
- Lodi, Elena
- Margenstern, Maurice
- Paulin-Mohring, Chri...
- Prange, Ulrike
- Prasad, Sanjiva
- Sarukkai, Sundar
- Sassone, Vladimiro
- Thomas, Wolfgang
- Weinstein, Scott
- Wirsing, Martin
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra
- Algorithm Analysis a...
- Computation by Abstr...
- Computational comple...
- Computer Communicati...
- Computer Science
- Computer science
- Computer software
- Data Structures
- Data structures (Com...
- Discrete Mathematics...
- Information theory
- Logic design
- Logics and Meanings ...
- Mathematical Logic a...
- Programming Language...
- Software engineering
- Software Engineering
- Symbolic and Algebra...
- Theory of Computatio...
- Show more
- Show less