Refine your search
Availability
-
Authors
- Alessandro Aldini, R...
- Awais Rashid, Mehmet...
- David R. Brooks
- Dines Bj�rner
- Eyke H�llermeier, Ru...
- Frank Pfenning
- Frank S. de Boer, Ma...
- Gilles Barthe
- Helmut Seidl
- Iain D. Craig
- Jan Vitek
- John Barnes
- Kent D. Lee
- Kwangkeun Yi
- Max Bramer
- Mike Mintz, Robert E...
- Peter Sestoft
- Sivarama P. Dandamud...
- Sophia Drossopoulou
- Tiziana Margaria, Be...
- Show more
- Show less
-
Holding libraries
-
Item types
-
Topics
- Programming Languag...
- Algorithm Analysis a...
- Computation by Abstr...
- Computer Communicati...
- Computer Science
- Computer System Impl...
- Data Mining and Know...
- Database Management
- Information Systems ...
- Logics and Meanings ...
- Management of Comput...
- Mathematical Logic a...
- Models and Principle...
- Operating Systems
- Programming Techniqu...
- Software Engineering
- Software Engineering...
- Special Purpose and ...
- System Performance a...
- Theory of Computatio...
- Show more
- Show less