|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Larch Shared Language handbook |
Guttag, J.V. |
1986 |
6 | C |
p. 135-157 23 p. |
artikel |
|
| 2 | A new type-checker for a functional language |
Fairbairn, Jon |
1986 |
6 | C |
p. 273-290 18 p. |
artikel |
|
| 3 | Author index volume 6 (1986) |
1986 |
6 | C |
p. 323- 1 p. |
artikel |
||
| 4 | Call for papers |
1986 |
6 | C |
p. 321-322 2 p. |
artikel |
||
| 5 | Derivation of a distributed algorithm for finding paths in directed networks |
McCurley, Robert |
1986 |
6 | C |
p. 1-9 9 p. |
artikel |
|
| 6 | Editorial Board |
1986 |
6 | C |
p. ii- 1 p. |
artikel |
||
| 7 | Message-based functional operating systems |
Stoye, William |
1986 |
6 | C |
p. 291-311 21 p. |
artikel |
|
| 8 | Model of error propagation in systems of communicating processes |
Zieliński, Krzysztof |
1986 |
6 | C |
p. 191-205 15 p. |
artikel |
|
| 9 | Modern methods for COBOL programmers |
Lesuisse, R. |
1986 |
6 | C |
p. 319- 1 p. |
artikel |
|
| 10 | Program derivation through transformations: The evolution of list-copying algorithms |
van Diepen, N.W.P. |
1986 |
6 | C |
p. 213-272 60 p. |
artikel |
|
| 11 | Report on the larch shared language |
Guttag, J.V. |
1986 |
6 | C |
p. 103-134 32 p. |
artikel |
|
| 12 | Rewriting systems on FP expressions to reduce the number of sequences yielded |
Bellegarde, Françoise |
1986 |
6 | C |
p. 11-34 24 p. |
artikel |
|
| 13 | Script: A communication abstraction mechanism and its verification |
Francez, Nissim |
1986 |
6 | C |
p. 35-88 54 p. |
artikel |
|
| 14 | Small programming exercises 9 |
Rem, M. |
1986 |
6 | C |
p. 95-102 8 p. |
artikel |
|
| 15 | Small programming exercises 10 |
Rem, M. |
1986 |
6 | C |
p. 207-211 5 p. |
artikel |
|
| 16 | Small programming exercises 11 |
Rem, M. |
1986 |
6 | C |
p. 313-318 6 p. |
artikel |
|
| 17 | Transformational programming and the paragraph problem |
Bird, R.S. |
1986 |
6 | C |
p. 159-189 31 p. |
artikel |
|
| 18 | Two most nondeterministic programs |
Wiltink, J.G. |
1986 |
6 | C |
p. 89-94 6 p. |
artikel |
18 gevonden resultaten