Refine your search
Availability
-
Authors
- Abdulrazak, Bessam
- Aloulou, Hamdi
- Bratko, Ivan
- Chockler, Hana
- Dillig, Isil
- Freeman, Jonathan
- Kallel, Slim
- Lahiri, Shuvendu K.
- Luger, George F.
- Mokhtari, Mounir
- Rees, Kim
- Spyns, Peter
- Tasiran, Serdar
- Vojnar, Tomáš
- Wang, Chao
- Weissenbacher, Georg
- Winston, Patrick Hen...
- Wooldridge, Michael ...
- Yau, Nathan
- Zhang, Lijun
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- ACM distinguished di...
- Addison-Wesley serie...
- Communications in Co...
- Computer studies ser...
- Graduate texts in co...
- IEEE Press series on...
- IFIP Advances in Inf...
- Information Systems ...
- International comput...
- Lecture Notes in Art...
- Prentice Hall series...
- Proceedings / SPIE--...
- Security and Cryptol...
- Signals and Communic...
- Studies in Systems, ...
- The Information Retr...
- The Kluwer internati...
- The Springer Series ...
- Theoretical Computer...
- Theory and Applicati...
- Show more
- Show less
-
Topics
- Application software
- Artificial intellige...
- Artificial Intellige...
- Computer games
- Computer graphics
- Computer logic
- Computer organizatio...
- Computer science
- Computer simulation
- Computer Systems Org...
- Computers
- Information Systems ...
- Logics and Meanings ...
- Mathematical logic
- Mathematical Logic a...
- Neural networks (Com...
- Prolog (Computer pro...
- Software engineering
- Software Engineering
- Show more
- Show less