|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automaton recognition of doubly connected labyrinths with finite cyclic diameter |
Stamatovich, B. |
2010 |
36 | 3 |
p. 149-156 |
artikel |
|
| 2 | Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation |
Podlovchenko, R. I. |
2010 |
36 | 3 |
p. 125-137 |
artikel |
|
| 3 | Development of the value numbering method |
Filippov, A. N. |
2010 |
36 | 3 |
p. 166-176 |
artikel |
|
| 4 | Mapping loop nests to multipipelined architecture |
Steinberg, R. B. |
2010 |
36 | 3 |
p. 177-185 |
artikel |
|
| 5 | On one application of computations with oracle |
Lisitsa, A. P. |
2010 |
36 | 3 |
p. 157-165 |
artikel |
|
| 6 | Unifying behavioral equivalences of timed transition systems |
Virbitskaite, I. B. |
2010 |
36 | 3 |
p. 138-148 |
artikel |
6 gevonden resultaten