Refine your search
Availability
-
Authors
- 600
- Baier, Christel
- Cochez, Michael
- Croitoru, Madalina
- Dal Lago, Ugo
- Jørgen Hole, Kjell
- Leino, K. Rustan M.
- Lippert, Thomas
- Lopez - Ruiz, Ricard...
- Marquis, Pierre
- Olesen, Henning
- Platzer, Andre
- Rudolph, Sebastian
- Sands, Timothy
- Shinde, Gitanjali
- Silva, Alexandra
- Soofastaei, Ali
- Sutcliffe, Geoff
- Wu, Weigang
- Yokota, Rio
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
- CAMRI Policy Briefs
- CAMRI policy briefs
- Communications in Co...
- Computational Models...
- Information Systems ...
- Lecture Notes in Art...
- Lecture Notes in Com...
- Lecture Notes in Com...
- Lecture Notes in Com...
- Simula SpringerBrief...
- SpringerBriefs in Co...
- Theoretical Computer...
- Theoretical Computer...
- Theory and Applicati...
- Show more
- Show less
-
Places
-
Topics