Journals in DBLP

Programming and Computer Software
2005, volume: 31, number: 5

1. I. V. Konnov, Vladimir A. Zakharov
   An Approach to the Verification of Symmetric Parameterized Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:5, pp:225-236 [Journal]
   
2. S. E. Bazhanov, V. P. Kutepov, D. A. Shestakov
   Functional Parallel Typified Language and Its Implementation on Clusters. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:5, pp:237-269 [Journal]
   
3. Nickolai A. Likhoded, S. V. Bakhanovich, A. V. Zherelo
   Obtaining Affine Transformations to Improve Locality of Loop Nests. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:5, pp:270-281 [Journal]
   
4. B. Kh. Barladian, A. G. Voloboi, N. I. V'yukova, V. A. Galaktionov, N. B. Deryabin
   Illumination Modeling and Generation of Realistic Images Using Internet Technologies. [Citation Graph (0, 0)][DBLP]
   Programming and Computer Software, 2005, v:31, n:5, pp:282-291 [Journal]