|
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 | Abstract Probabilistic Automata |
Delahaye, Benoît |
2013 |
232 | C |
p. 66-116 51 p. |
artikel |
|
| 2 | A polynomial-time algorithm for computing absolutely normal numbers |
Becher, Verónica |
2013 |
232 | C |
p. 1-9 9 p. |
artikel |
|
| 3 | Compact binary relation representations with rich functionality |
Barbay, Jérémy |
2013 |
232 | C |
p. 19-37 19 p. |
artikel |
|
| 4 | Compositional probabilistic verification through multi-objective model checking |
Kwiatkowska, Marta |
2013 |
232 | C |
p. 38-65 28 p. |
artikel |
|
| 5 | Compressed property suffix trees |
Hon, Wing-Kai |
2013 |
232 | C |
p. 10-18 9 p. |
artikel |
|
| 6 | Editorial Board |
2013 |
232 | C |
p. IFC- 1 p. |
artikel |
||
| 7 | Editorial Board |
2013 |
232 | C |
p. i- 1 p. |
artikel |
7 gevonden resultaten