Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Domain Equation for Bisimulation Abramsky, Samson
2001
165 2 p. 119-122
4 p.
artikel
2 Author Index for Volume 165 2001
165 2 p. 208-
1 p.
artikel
3 Implementing Shared Memory on Mesh-Connected Computers and on the Fat-Tree Herley, Kieran T
2001
165 2 p. 123-143
21 p.
artikel
4 Papers to Appear in Forthcoming Issues 2001
165 2 p. 209-
1 p.
artikel
5 Regular Languages Accepted by Quantum Automata Bertoni, Alberto
2001
165 2 p. 174-182
9 p.
artikel
6 Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol Baldoni, Roberto
2001
165 2 p. 144-173
30 p.
artikel
7 Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models Gottlob, Georg
2001
165 2 p. 183-207
25 p.
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland