|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract model repair for probabilistic systems |
Chatzieleftheriou, G. |
2018 |
259 | P1 |
p. 142-160 |
artikel |
|
| 2 | Analyzing pushdown systems with stack manipulation |
Song, Fu |
2018 |
259 | P1 |
p. 41-71 |
artikel |
|
| 3 | A semantic theory of the Internet of Things |
Lanotte, Ruggero |
2018 |
259 | P1 |
p. 72-101 |
artikel |
|
| 4 | Complexity classification of the six-vertex model |
Cai, Jin-Yi |
2018 |
259 | P1 |
p. 130-141 |
artikel |
|
| 5 | Distinguishing between communicating transactions |
Koutavas, Vasileios |
2018 |
259 | P1 |
p. 1-30 |
artikel |
|
| 6 | Editorial Board |
2018 |
259 | P1 |
p. ii |
artikel |
||
| 7 | Holographic algorithms beyond matchgates |
Cai, Jin-Yi |
2018 |
259 | P1 |
p. 102-129 |
artikel |
|
| 8 | Improved bounds for randomized preemptive online matching |
Epstein, Leah |
2018 |
259 | P1 |
p. 31-40 |
artikel |
8 gevonden resultaten