Refine your search
Availability
-
Authors
- Bartocci, Ezio
- Bourdon, Jérémie
- Calder, Muffy
- Dada, Joseph O.
- Danos, Vincent
- Degano, Pierpaolo
- Gilbert, David
- Gilmore, Stephen
- Gorrieri, Roberto
- Gupta, Ashutosh
- Heiner, Monika
- Henzinger, Thomas A.
- Lio, Pietro
- Maler, Oded
- Mendes, Pedro
- Paoletti, Nicola
- Piazza, Carla
- Roux, Olivier
- Schachter, Vincent
- Smallbone, Kieran
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Artificial intellige...
- Artificial Intellige...
- Bioinformatics
- Computational and Sy...
- Computer Communicati...
- Computer Modelling
- Computer science
- Computer Science Log...
- Computer simulation
- Database management
- Database Management
- Life Sciences
- Life sciences
- Numerical Analysis
- Numerical analysis
- Software engineering
- Software Engineering
- Symbolic and Algebra...
- Theory of Computatio...
- Show more
- Show less