Refine your search
Availability
-
Authors
- Abate, Alessandro
- Bartocci, Ezio
- Bourdon, Jérémie
- Calder, Muffy
- Cinquemani, Eugenio
- Dada, Joseph O.
- Danos, Vincent
- Gilbert, David
- Gilmore, Stephen
- Gupta, Ashutosh
- Heiner, Monika
- Henzinger, Thomas A.
- Lio, Pietro
- Mendes, Pedro
- Paoletti, Nicola
- Paulevé, Loïc
- Roux, Olivier
- Schachter, Vincent
- Smallbone, Kieran
- Wolf, Verena
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Artificial intellige...
- Artificial Intellige...
- Bioinformatics
- Computational and Sy...
- Computer Communicati...
- Computer Modelling
- Computer networks
- Computer science
- Computer simulation
- Database management
- Database Management
- Database Management ...
- Mathematics of Compu...
- Software engineering
- Software Engineering
- Symbolic and Algebra...
- Theory of Computatio...
- Show more
- Show less