Refine your search
Availability
-
Authors
- Ahmed Bouajjani, Wei...
- Andreas Blass, Nachu...
- David S. Rosenblum, ...
- Erwin Rathgeb, Klaus...
- George Heineman, Jan...
- Gianluca Tempesti, A...
- Jan Vitek
- Javier Esparza, Rupa...
- John Hatcliff, Elena...
- J�rgen Dix, Joao Lei...
- Lars Grunske, Ralf H...
- Leonardo Bottaci, Go...
- Marko van Eekelen, O...
- Muhammad Ali Babar, ...
- Paul Gastin, Francoi...
- Peter M�ller
- Tayssir Touili, Byro...
- Tiziana Margaria, Be...
- Tomasz Janowski, Hru...
- Zolt�n Horv�th, Rinu...
- Show more
- Show less
-
Holding libraries
-
Item types
-
Topics
- Programming Languag...
- Algorithm Analysis a...
- Antibodies
- Computation by Abstr...
- Computer Communicati...
- Computer Engineering
- Computer Science
- Data Mining and Know...
- Information Storage ...
- Information Systems ...
- Logics and Meanings ...
- Management of Comput...
- Mathematical Logic a...
- Multimedia Informati...
- Programming Techniqu...
- Software Engineering
- Software Engineering...
- Special Purpose and ...
- Show more
- Show less