Refine your search
Availability
-
Authors
- Bouyssounouse, Bruno
- Bressoud, David M.
- Cheung, Simon K. S.
- Dey, Anind K.
- Fong, Joseph
- Grumberg, Orna
- Hoekstra, Alfons G.
- Hsu, Ching-Hsien
- Ishida, Toru
- Lee, Victor S. K.
- Li, Chun-hung
- Li, Qing
- Liu, Joseph K.
- Maharam-Stone, D.
- Ng, Joseph
- Orlik, Peter
- Sifakis, Joseph
- Steinfeld, Ron
- Stevens, Glenn
- Wang, Fu Lee
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Algorithm Analysis a...
- Artificial Intellige...
- Artificial intellige...
- Computer Communicati...
- Computer science
- Computer Science
- Computers and Educat...
- Education
- Information storage ...
- Information systems
- Information Systems ...
- Logic design
- Logics and Meanings ...
- Mathematical Logic a...
- Operating Systems
- Operating systems (C...
- Software Engineering
- Software engineering
- Special Purpose and ...
- User Interfaces and ...
- Show more
- Show less