Refine your search
Availability
-
Authors
- Abascal, Julio
- Ali, Moonis
- Baldoni, Matteo
- Bordini, Rafael H.
- Brueckner, Sven A.
- Choren, Ricardo
- Dastani, Mehdi
- Dix, Jürgen
- Garcia, Alessandro
- Klusch, Matthias
- Li, Xue
- Lindemann, Gabriela
- Lucena, Carlos
- Meseguer, José
- Müller, Jörg P.
- Omicini, Andrea
- Ricci, Alessandro
- Romanovsky, Alexande...
- Voronkov, Andrei
- Zambonelli, Franco
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Artificial intellige...
- Artificial Intellige...
- Computation by Abstr...
- Computer Appl. in Ad...
- Computer Communicati...
- Computer science
- Computer Science
- Information storage ...
- Information Storage ...
- Information systems
- Information Systems ...
- Logic design
- Logics and Meanings ...
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Special Purpose and ...
- User Interfaces and ...
- Show more
- Show less