|
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 | An exercise in transformational programming: Backtracking and branch-and-bound |
Fokkinga, Maarten M. |
1991 |
16 | 1 |
p. 19-48 30 p. |
artikel |
|
| 2 | Announcement |
1991 |
16 | 1 |
p. 101- 1 p. |
artikel |
||
| 3 | Correctness of static flow analysis in continuation semantics |
Montenyohl, Margaret |
1991 |
16 | 1 |
p. 1-18 18 p. |
artikel |
|
| 4 | Editorial Board |
1991 |
16 | 1 |
p. IFC- 1 p. |
artikel |
||
| 5 | Human computer interaction: Selected readings |
Wills, Alan |
1991 |
16 | 1 |
p. 89-90 2 p. |
artikel |
|
| 6 | Origins of programming: Discourses on methodology |
Turski, W.M. |
1991 |
16 | 1 |
p. 95-97 3 p. |
artikel |
|
| 7 | OSF/motif programmer's guide |
Hopkins, Trevor P. |
1991 |
16 | 1 |
p. 91-92 2 p. |
artikel |
|
| 8 | OSF/motif style guide |
Hopkins, Trevor P. |
1991 |
16 | 1 |
p. 90- 1 p. |
artikel |
|
| 9 | OSF/Motif User's Guide |
Hopkins, Trevor P. |
1991 |
16 | 1 |
p. 90- 1 p. |
artikel |
|
| 10 | Specification of concurrent objects using auxiliary variables |
Singh, Ambuj K. |
1991 |
16 | 1 |
p. 49-88 40 p. |
artikel |
|
| 11 | Temporal logic for real-time systems |
Hooman, Jozef |
1991 |
16 | 1 |
p. 93-95 3 p. |
artikel |
|
| 12 | The collected works of J. Richard Büchi |
1991 |
16 | 1 |
p. 97- 1 p. |
artikel |
||
| 13 | The programming process: An introduction using VDM and Pascal |
Walshe, Anne |
1991 |
16 | 1 |
p. 92-93 2 p. |
artikel |
13 gevonden resultaten