nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Acknowledgment
|
|
|
1988 |
27 |
1 |
p. 55- 1 p. |
artikel |
2 |
A semantic approach for modular synthesis of VLSI systems
|
Balakrishnan, M. |
|
1988 |
27 |
1 |
p. 1-7 7 p. |
artikel |
3 |
A separator theorem for one-dimensional graphs under linear mapping
|
Li, Ming |
|
1988 |
27 |
1 |
p. 9-11 3 p. |
artikel |
4 |
A tagless marking that is linear over subtrees
|
Lyon, Gordon |
|
1988 |
27 |
1 |
p. 23-28 6 p. |
artikel |
5 |
Digital and Hilbert k-d trees
|
Lea, Douglas |
|
1988 |
27 |
1 |
p. 35-41 7 p. |
artikel |
6 |
Parallel O(log n) time edge-colouring of trees and Halin graphs
|
Gibbons, Alan M. |
|
1988 |
27 |
1 |
p. 43-51 9 p. |
artikel |
7 |
Some observations concerning alternating turing machines using small space
|
Chang, Jik H. |
|
1988 |
27 |
1 |
p. 53- 1 p. |
artikel |
8 |
Sorting with efficient use of special-purpose sorters
|
Atallah, Mikhail J. |
|
1988 |
27 |
1 |
p. 13-15 3 p. |
artikel |
9 |
The date refinement calculator for Z specifications
|
Josephs, Mark B. |
|
1988 |
27 |
1 |
p. 29-33 5 p. |
artikel |
10 |
Total domination in interval graphs revisited
|
Ramalingam, G. |
|
1988 |
27 |
1 |
p. 17-21 5 p. |
artikel |