|
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 note on the proof of a concurrent program |
Best, E. |
1979 |
9 | 3 |
p. 103-107 5 p. |
artikel |
|
| 2 | A note on the pumping lemma for regular languages |
Yehudai, Amiram |
1979 |
9 | 3 |
p. 135-136 2 p. |
artikel |
|
| 3 | A randomized algorithm for checking equivalence of circular lists |
Itai, Alon |
1979 |
9 | 3 |
p. 118-121 4 p. |
artikel |
|
| 4 | A transportable code generator generator system |
Williams, M.H. |
1979 |
9 | 3 |
p. 122-125 4 p. |
artikel |
|
| 5 | Comments on convex hull of a finite set of points in two dimensions |
Dévai, Ferenc |
1979 |
9 | 3 |
p. 141-142 2 p. |
artikel |
|
| 6 | DB: A LISP-type data base system |
Ferrari, Marco |
1979 |
9 | 3 |
p. 126-134 9 p. |
artikel |
|
| 7 | Erratum |
1979 |
9 | 3 |
p. 160- 1 p. |
artikel |
||
| 8 | Linear algorithms for edge-coloring trees and unicyclic graphs |
Mitchell, Sandra |
1979 |
9 | 3 |
p. 110-112 3 p. |
artikel |
|
| 9 | On module assignment in two-processor distributed systems |
Arora, R.K. |
1979 |
9 | 3 |
p. 113-117 5 p. |
artikel |
|
| 10 | Reduction of page swaps on the two dimensional transforms in a paging environment |
Itano, Kozo |
1979 |
9 | 3 |
p. 137-140 4 p. |
artikel |
|
| 11 | Stack implementation of shallow binding in languages with mixed scoping |
Prini, Gianfranco |
1979 |
9 | 3 |
p. 143-154 12 p. |
artikel |
|
| 12 | The complexity of symmetrizing matrices |
Colbourn, Charles J. |
1979 |
9 | 3 |
p. 108-109 2 p. |
artikel |
|
| 13 | The formal termination problem for programs with finite ALGOL 68-modes |
Langmaack, Hans |
1979 |
9 | 3 |
p. 155-159 5 p. |
artikel |
13 gevonden resultaten