|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index of volume 30 (1998) |
1998 |
30 | 3 |
p. 347- 1 p. |
artikel |
||
| 2 | Axiomatic domain theory in categories of partial maps |
Turi, Daniele |
1998 |
30 | 3 |
p. 343-345 3 p. |
artikel |
|
| 3 | Basic proof theory |
Gordeev, Lev |
1998 |
30 | 3 |
p. 339-342 4 p. |
artikel |
|
| 4 | Fast, long-lived renaming improved and simplified |
Moir, Mark |
1998 |
30 | 3 |
p. 287-308 22 p. |
artikel |
|
| 5 | Introduction to algorithms in pascal |
Gabbrielli, Maurizio |
1998 |
30 | 3 |
p. 342-343 2 p. |
artikel |
|
| 6 | Master index volumes 21–30 |
1998 |
30 | 3 |
p. 349-354 6 p. |
artikel |
||
| 7 | Program families: Program construction by context independent refinements |
van Ammers, Eric W. |
1998 |
30 | 3 |
p. 251-286 36 p. |
artikel |
|
| 8 | State space reduction by non-standard semantics for deadlock analysis |
De Francesco, Nicoletta |
1998 |
30 | 3 |
p. 309-338 30 p. |
artikel |
8 gevonden resultaten