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
 
                             5 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Iteration Theories of Synchronization Trees Bloom, S.L.
1993
102 1 p. 1-55
55 p.
artikel
2 Learning with the Knowledge of an Upper Bound on Program Size Jain, S.
1993
102 1 p. 118-166
49 p.
artikel
3 Real-Time Semantics for Shared-Variable Concurrency Shade, E.
1993
102 1 p. 56-82
27 p.
artikel
4 The Undecidability of the Semi-unification Problem Kfoury, A.J.
1993
102 1 p. 83-101
19 p.
artikel
5 Using Inductive Counting to Simulate Nondeterministic Computation Buntrock, G.
1993
102 1 p. 102-117
16 p.
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland