|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A novel data-driven approach on inferring loop invariants for C programs |
Lu, Hong |
|
71 | C |
p. |
artikel |
|
| 2 | Automatic resolution of model merging conflicts using quality-based reinforcement learning |
Sharbaf, Mohammadreza |
|
71 | C |
p. |
artikel |
|
| 3 | Editorial Board |
|
71 | C |
p. |
artikel |
||
| 4 | Gravity++: A graph-based framework for constructing interactive visualization narratives |
Obie, Humphrey O. |
|
71 | C |
p. |
artikel |
|
| 5 | Minimising line segments in linear diagrams is NP-hard |
Chapman, Peter |
|
71 | C |
p. |
artikel |
5 gevonden resultaten