|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A mechanical proof of the termination of Takeuchi's function |
Moore, J Strother |
1979 |
9 | 4 |
p. 176-181 6 p. |
artikel |
|
| 2 | An algorithm for the most economic link addition in a tree communications network |
Cockayne, E.J. |
1979 |
9 | 4 |
p. 171-175 5 p. |
artikel |
|
| 3 | Bounds on list scheduling of uet tasks with restricted resource constraints |
Leung, Joseph Y-T. |
1979 |
9 | 4 |
p. 167-170 4 p. |
artikel |
|
| 4 | Deadlock absence proofs for networks of communicating processes |
Chandy, K.M. |
1979 |
9 | 4 |
p. 185-189 5 p. |
artikel |
|
| 5 | Location of multiple points in a planar subdivision |
Lee, D.T. |
1979 |
9 | 4 |
p. 190-193 4 p. |
artikel |
|
| 6 | On the solution of polynomial equations using continued fractions |
Akritas, Alkiviadis G. |
1979 |
9 | 4 |
p. 182-184 3 p. |
artikel |
|
| 7 | Padded lists: set operations in expected θ(log log N) time |
Randolph Franklin, W. |
1979 |
9 | 4 |
p. 161-166 6 p. |
artikel |
7 gevonden resultaten