Refine your search
Availability
-
Authors
- Givargis, Tony (1)
- Haggarty, Rod (1)
- Kakas, Antonis C. (1)
- Kaufman, Charlie (1)
- Louden, Kenneth C. (1)
- Mohammadi, Ali [ed.] (1)
- Perlman, Radia (1)
- Sadri, Fariba (1)
- Speciner, Michael (1)
- Vahid, Frank (1)
- Show more
- Show less
-
Item types
-
Locations
- Lower Floor (6)
-
Series
-
Places
- Europe (1)
- Islamic countries (1)
-
Topics
- Automatic theorem proving (1)
- Computer networks (1)
- Computer science (1)
- Computer security (1)
- Computers (1)
- Electronic data processing departments (1)
- Embedded computer systems (1)
- Globalization (1)
- Islam (1)
- Islam and world politics (1)
- Islam in mass media (1)
- Islamic renewal (1)
- Logic programming (1)
- Programming languages (1)
- Show more
- Show less