| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A characterization of systems derived from terminating concurrent histories
|
Barnden, J.A.
|
|
1980
|
10 |
3 |
p. 148-152
5 p.
|
artikel
|
| 2 |
A fast sorting algorithm, a hybrid of distributive and merge sorting
|
van der Nat, M.
|
|
1980
|
10 |
3 |
p. 163-167
5 p.
|
artikel
|
| 3 |
Analysis of the module assignment problem in distributed computing systems with limited storage
|
Arora, R.K.
|
|
1980
|
10 |
3 |
p. 111-115
5 p.
|
artikel
|
| 4 |
A note on Delaunay and optimal triangulations
|
Kirkpatrick, David G.
|
|
1980
|
10 |
3 |
p. 127-128
2 p.
|
artikel
|
| 5 |
Another application of recursion introduction
|
Watanabe, Osamu
|
|
1980
|
10 |
3 |
p. 116-119
4 p.
|
artikel
|
| 6 |
A simple model of query scheduling in distributed data base systems
|
Cellary, Wojciech
|
|
1980
|
10 |
3 |
p. 137-147
11 p.
|
artikel
|
| 7 |
Corrigendum on convex hull algorithms
|
|
|
1980
|
10 |
3 |
p. 168-
1 p.
|
artikel
|
| 8 |
Efficient implementation of the Ada overloading rules
|
Wallis, Peter J.L.
|
|
1980
|
10 |
3 |
p. 120-123
4 p.
|
artikel
|
| 9 |
Formal derivation of a list processing program
|
Hemerik, C.
|
|
1980
|
10 |
3 |
p. 124-126
3 p.
|
artikel
|
| 10 |
On the Ω(n log n) lower bound for convex hull and maximal vector determination
|
van Emde Boas, Peter
|
|
1980
|
10 |
3 |
p. 132-136
5 p.
|
artikel
|
| 11 |
Parallel system schemas and their relation to automata
|
Czaja, Ludwik
|
|
1980
|
10 |
3 |
p. 153-158
6 p.
|
artikel
|
| 12 |
Some new results on isotonic array grammars
|
Wang, Patrick Shen-Pei
|
|
1980
|
10 |
3 |
p. 129-131
3 p.
|
artikel
|
| 13 |
The readers and writers problem avoided
|
Kessels, J.L.W.
|
|
1980
|
10 |
3 |
p. 159-162
4 p.
|
artikel
|
Tijdschrift beschrijving