|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Computational Divided Differencing and Divided-Difference Arithmetics |
Reps, Thomas W. |
2003 |
16 | 1-2 |
p. 93-149 |
artikel |
|
| 2 | Dynamic Programming via Static Incrementalization |
Liu, Yanhong A. |
2003 |
16 | 1-2 |
p. 37-62 |
artikel |
|
| 3 | Editorial |
Danvy, Olivier |
2003 |
16 | 1-2 |
p. 5-6 |
artikel |
|
| 4 | Program Synthesis from Formal Requirements Specifications Using APTS |
Leonard, Elizabeth I. |
2003 |
16 | 1-2 |
p. 63-92 |
artikel |
|
| 5 | Research Retrospective |
Paige, Bob |
2003 |
16 | 1-2 |
p. 7-13 |
artikel |
|
| 6 | Universal Regular Path Queries |
de Moor, Oege |
2003 |
16 | 1-2 |
p. 15-35 |
artikel |
6 gevonden resultaten