|
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 decision procedure for string constraints with string/integer conversion and flat regular constraints |
Wu, Hao |
|
61 | 1 |
p. 23-52 |
artikel |
|
| 2 | Balancing m-ary search trees with compressions on the fringe |
Gao, Shuyang |
|
61 | 1 |
p. 53-66 |
artikel |
|
| 3 | Discovering workflow nets of concurrent iterative processes |
Tapia-Flores, Tonatiuh |
|
61 | 1 |
p. 1-21 |
artikel |
|
| 4 | Neighborhood mutual remainder: self-stabilizing distributed implementation and applications |
Dolev, Shlomi |
|
61 | 1 |
p. 83-100 |
artikel |
|
| 5 | n-PS-codes, 2-infix-outfix codes and some related classes of codes |
Liu, Haiyan |
|
61 | 1 |
p. 67-81 |
artikel |
5 gevonden resultaten