|
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 method for voxel visualization of 3D objects |
Taranukha, N. A. |
2007 |
33 | 6 |
p. 336-342 |
artikel |
|
| 2 | Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols |
Pakulin, N. V. |
2007 |
33 | 6 |
p. 316-335 |
artikel |
|
| 3 | Scheme inclusion verification algorithm in algebraic model of programs with constants |
Rusakov, D. M. |
2007 |
33 | 6 |
p. 299-306 |
artikel |
|
| 4 | Software pipelining of loops by the method of modulo scheduling |
V’yukova, N. I. |
2007 |
33 | 6 |
p. 307-315 |
artikel |
|
| 5 | Tools for support of automata-based programming |
Gurov, V. S. |
2007 |
33 | 6 |
p. 343-355 |
artikel |
5 gevonden resultaten