nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Analysis of simple randomized buffer management for parallel I/O
|
Kallahalla, Mahesh |
|
2004 |
90 |
1 |
p. 47-52 6 p. |
artikel |
2 |
A PTIME-complete matching problem for SLP-compressed words
|
Markey, N. |
|
2004 |
90 |
1 |
p. 3-6 4 p. |
artikel |
3 |
A weakest failure detector-based asynchronous consensus protocol for f<n
|
Friedman, Roy |
|
2004 |
90 |
1 |
p. 39-46 8 p. |
artikel |
4 |
Board of Editors
|
|
|
2004 |
90 |
1 |
p. IFC- 1 p. |
artikel |
5 |
Exhaustive approaches to 2D rectangular perfect packings
|
Lesh, N. |
|
2004 |
90 |
1 |
p. 7-14 8 p. |
artikel |
6 |
Herbrand theorems in arbitrary institutions
|
Diaconescu, Răzvan |
|
2004 |
90 |
1 |
p. 29-37 9 p. |
artikel |
7 |
Limiting negations in bounded-depth circuits: An extension of Markov's theorem
|
Sung, Shao Chin |
|
2004 |
90 |
1 |
p. 15-20 6 p. |
artikel |
8 |
[No title]
|
Tarlecki, Andrzej |
|
2004 |
90 |
1 |
p. 1-2 2 p. |
artikel |
9 |
Undecidable problems of decentralized observation and control on regular languages
|
Tripakis, Stavros |
|
2004 |
90 |
1 |
p. 21-28 8 p. |
artikel |