|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Approach to the Verification of Symmetric Parameterized Distributed Systems |
Konnov, I. V. |
2005 |
31 | 5 |
p. 225-236 |
article |
|
| 2 | Functional Parallel Typified Language and Its Implementation on Clusters |
Bazhanov, S. E. |
2005 |
31 | 5 |
p. 237-269 |
article |
|
| 3 | Illumination Modeling and Generation of Realistic Images Using Internet Technologies |
Barladyan, B. Kh. |
2005 |
31 | 5 |
p. 282-291 |
article |
|
| 4 | Obtaining Affine Transformations to Improve Locality of Loop Nests |
Likhoded, N. A. |
2005 |
31 | 5 |
p. 270-281 |
article |
4 results found