Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An abstract interpretation framework for optimizing dynamic modular logic languages Ciampolini, Anna
 1996
 58 4 p. 163-170
8 p.
 artikel
2 Authenticated encryption schemes with message linkage Hwang, Shin-Jia
 1996
 58 4 p. 189-194
6 p.
 artikel
3 Clique transversal and clique independence on comparability graphs Balachandran, V.
 1996
 58 4 p. 181-184
4 p.
 artikel
4 Fixed-parameter tractability of graph modification problems for hereditary properties Cai, Leizhen
 1996
 58 4 p. 171-176
6 p.
 artikel
5 Implementing (nondeterministic) parallel assignments Grandi, Piercarlo
 1996
 58 4 p. 177-179
3 p.
 artikel
6 Storage-efficient data structure for large lookup dictionaries Malhotra, Vishv M.
 1996
 58 4 p. 201-206
6 p.
 artikel
7 Strong normalization for non-structural subtyping via saturated sets Rehof, Jakob
 1996
 58 4 p. 157-162
6 p.
 artikel
8 The state complexity of ∑ ∗ $ ̄ L and its connection with temporal logic Birget, Jean-Camille
 1996
 58 4 p. 185-188
4 p.
 artikel
9 Yield-languages of two-way pushdown tree automata Salomaa, Kai
 1996
 58 4 p. 195-199
5 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland