|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A lower bound on the complexity of the convex hull problem for simple polyhedra |
Klapper, Andrew |
1987 |
25 | 3 |
p. 159-161 3 p. |
artikel |
|
| 2 | An encoding scheme for the efficient representation of hierarchical image structures |
Alexandridis, N.A. |
1987 |
25 | 3 |
p. 199-206 8 p. |
artikel |
|
| 3 | A non-hamiltonian, nondegenerate delaunay triangulation |
Dillencourt, Michael B. |
1987 |
25 | 3 |
p. 149-151 3 p. |
artikel |
|
| 4 | Counterexamples to termination for the direct sum of term rewriting systems |
Toyama, Yoshihito |
1987 |
25 | 3 |
p. 141-143 3 p. |
artikel |
|
| 5 | History sensitive string for multiple alphabets |
Chung, Tae-Choong |
1987 |
25 | 3 |
p. 183-188 6 p. |
artikel |
|
| 6 | Interpreting logics of knowledge in propositional dynamic logic with converse |
Fischer, Michael J. |
1987 |
25 | 3 |
p. 175-181 7 p. |
artikel |
|
| 7 | Local authentication in insecure environments |
Kawai, Satoru |
1987 |
25 | 3 |
p. 171-174 4 p. |
artikel |
|
| 8 | On distributed snapshots |
Lai, Ten H. |
1987 |
25 | 3 |
p. 153-158 6 p. |
artikel |
|
| 9 | On the detection of unstructuredness in flowgraphs |
Tse, T.H. |
1987 |
25 | 3 |
p. 189-193 5 p. |
artikel |
|
| 10 | On the proof of a distributed algorithm |
Verjus, J.Pierre |
1987 |
25 | 3 |
p. 145-147 3 p. |
artikel |
|
| 11 | Stopping times of distributed consensus protocols: A probabilistic analysis |
Babaog̃lu, Özalp |
1987 |
25 | 3 |
p. 163-169 7 p. |
artikel |
|
| 12 | Transformations for communication fairness in CSP |
Zöbel, Dieter |
1987 |
25 | 3 |
p. 195-198 4 p. |
artikel |
|
| 13 | Varieties of weakest liberal preconditions |
Morris, Joseph M. |
1987 |
25 | 3 |
p. 207-210 4 p. |
artikel |
13 gevonden resultaten