|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A spatio-temporal framework for managing archeological data |
Belussi, Alberto |
2017 |
80 | 3-4 |
p. 175-218 |
artikel |
|
| 2 | Bounded variability of metric temporal logic |
Furia, Carlo A. |
2016 |
80 | 3-4 |
p. 283-316 |
artikel |
|
| 3 | Erratum to: The RABTree and RAB− Tree: lean index structures for snapshot access in transaction-time databases |
Grandi, Fabio |
2016 |
80 | 3-4 |
p. 247 |
artikel |
|
| 4 | Guest Editorial: Temporal representation and reasoning |
Combi, Carlo |
2017 |
80 | 3-4 |
p. 171-173 |
artikel |
|
| 5 | Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems |
Sánchez, Alejandro |
2016 |
80 | 3-4 |
p. 249-282 |
artikel |
|
| 6 | The RABTree and RAB−Tree: lean index structures for snapshot access in transaction-time databases |
Grandi, Fabio |
2016 |
80 | 3-4 |
p. 219-245 |
artikel |
|
| 7 | To be fair, use bundles |
McCabe-Dansted, John |
2017 |
80 | 3-4 |
p. 317-364 |
artikel |
7 gevonden resultaten