|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Retrospective on Region-Based Memory Management |
Mads Tofte |
2004 |
17 | 3 |
p. 245-265 21 p. |
artikel |
|
| 2 | A Retrospective on Region-Based Memory Management |
Tofte, Mads |
2004 |
17 | 3 |
p. 245-265 |
artikel |
|
| 3 | A Retrospective on Region-Based Memory Management |
Tofte, Mads |
|
17 | 3 |
p. 245-265 |
artikel |
|
| 4 | Compiler Optimization Correctness by Temporal Logic |
David Lacey |
2004 |
17 | 3 |
p. 173-206 34 p. |
artikel |
|
| 5 | Compiler Optimization Correctness by Temporal Logic |
Lacey, David |
2004 |
17 | 3 |
p. 173-206 |
artikel |
|
| 6 | Compiler Optimization Correctness by Temporal Logic |
Lacey, David |
|
17 | 3 |
p. 173-206 |
artikel |
|
| 7 | Editorial |
David Basin |
2004 |
17 | 3 |
p. 171-171 1 p. |
artikel |
|
| 8 | Editorial |
Basin, David |
2004 |
17 | 3 |
p. 171 |
artikel |
|
| 9 | Implementing Coloured Petri Nets Using a Functional Programming Language |
Lars Michael Kristensen |
2004 |
17 | 3 |
p. 207-243 37 p. |
artikel |
|
| 10 | Implementing Coloured Petri Nets Using a Functional Programming Language |
Kristensen, Lars Michael |
2004 |
17 | 3 |
p. 207-243 |
artikel |
10 gevonden resultaten