|
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 |
Thomas W. Reps |
2003 |
16 | 1 |
p. 93-149 57 p. |
artikel |
|
| 2 | Dynamic Programming via Static Incrementalization |
Yanhong A. Liu |
2003 |
16 | 1 |
p. 37-62 26 p. |
artikel |
|
| 3 | Editorial |
Olivier Danvy |
2003 |
16 | 1 |
p. 5-6 2 p. |
artikel |
|
| 4 | Program Synthesis from Formal Requirements Specifications Using APTS |
Elizabeth I. Leonard |
2003 |
16 | 1 |
p. 63-92 30 p. |
artikel |
|
| 5 | Research Retrospective |
Bob Paige |
2003 |
16 | 1 |
p. 7-13 7 p. |
artikel |
|
| 6 | Universal Regular Path Queries |
Oege de Moor |
2003 |
16 | 1 |
p. 15-35 21 p. |
artikel |
6 gevonden resultaten