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
 
                             12 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A synchronous π-calculus Amadio, Roberto M.
2007
205 9 p. 1470-1490
21 p.
artikel
2 Computing the edit distance of a regular language Konstantinidis, Stavros
2007
205 9 p. 1307-1316
10 p.
artikel
3 Dimensions of Copeland–Erdös sequences Gu, Xiaoyang
2007
205 9 p. 1317-1333
17 p.
artikel
4 Editorial Board (continued) 2007
205 9 p. i-
1 p.
artikel
5 Exponential lower bounds for the number of words of uniform length avoiding a pattern Bell, Jason P.
2007
205 9 p. 1295-1306
12 p.
artikel
6 Inside Front Cover: Editorial Board 2007
205 9 p. IFC-
1 p.
artikel
7 Instruction-level security analysis for information flow in stack-based assembly languages De Francesco, Nicoletta
2007
205 9 p. 1334-1370
37 p.
artikel
8 Intersection-types à la Church Liquori, Luigi
2007
205 9 p. 1371-1386
16 p.
artikel
9 Lower bound technique for length-reducing automata Jurdziński, Tomasz
2007
205 9 p. 1387-1412
26 p.
artikel
10 Mediating secure information flow policies Zhang, Guo-Qiang
2007
205 9 p. 1413-1425
13 p.
artikel
11 Priority and abstraction in process algebra Cleaveland, Rance
2007
205 9 p. 1426-1458
33 p.
artikel
12 The number of runs in a string Rytter, Wojciech
2007
205 9 p. 1459-1469
11 p.
artikel
                             12 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland