Refine your search
Availability
-
Authors
- Abate, Alessandro
- Alves, Ronnie
- Bartocci, Ezio
- Bortolussi, Luca
- Bourdon, Jérémie
- Dada, Joseph O.
- Gilbert, David
- Gupta, Ashutosh
- Heiner, Monika
- Henzinger, Thomas A.
- Lio, Pietro
- Mendes, Pedro
- Paoletti, Nicola
- Petrov, Tatjana
- Roux, Olivier
- Sanguinetti, Guido
- Smallbone, Kieran
- Wolf, Verena
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Algorithms
- Artificial Intellige...
- Artificial intellige...
- Bioinformatics
- Computational and Sy...
- Computer Communicati...
- Computer Modelling
- Computer science
- Computer simulation
- Discrete mathematics
- Discrete Mathematics...
- Formal Languages and...
- Mathematics of Compu...
- Numerical analysis
- Numerical Analysis
- Software Engineering
- Software engineering
- Symbolic and Algebra...
- Theory of Computatio...
- Show more
- Show less