Refine your search
Availability
-
Authors
- Alessandro Aldini, R...
- Constantine Stephani...
- Dines Bj�rner
- Farhad Arbab, Marjan...
- Frank Pfenning
- Frank S. de Boer, Ma...
- Gottfried,Byron.S an...
- Helmut Seidl
- Jan Vitek
- Julie A. Jacko
- Kwangkeun Yi
- Lambert, Kenneth A
- Luke Ong
- MOHIUDDIN, Syed;REDD...
- Nagpal,D.P
- NANJUNDAPPA
- Sergei Artemov, Anil...
- Sophia Drossopoulou
- Symeon Bozapalidis, ...
- Tiziana Margaria, Be...
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Topics
- Programming Languag...
- Algorithm Analysis a...
- Computation by Abstr...
- Computer Communicati...
- Computer Science
- Discrete Mathematics...
- Information Storage ...
- Information Systems ...
- Logics and Meanings ...
- Management of Comput...
- Mathematical Logic a...
- Mathematics of Compu...
- Operating Systems
- Programming Techniqu...
- Software Engineering
- Software Engineering...
- Special Purpose and ...
- Symbolic and Algebra...
- Theory of Computatio...
- User Interfaces and ...
- Show more
- Show less