301 | -- | 313 | Rimma I. Podlovchenko. Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators |
314 | -- | 323 | V. A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky. Towards Verification of C Programs. C-Light Language and Its Formal Semantics |
324 | -- | 332 | A. V. Nikitin, L. I. Nikitina. Evolutionary Model of Optimization of Modular Associative Memory for Dataflow Machines Based on Genetic Algorithm |
333 | -- | 341 | Alexey Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin. Refined Description of the C[] Language |
342 | -- | 348 | Vladimir V. Mazalov, D. N. Zhuravlev. A Method of Cumulative Sums in the Problem of Detection of Traffic Changes in Computer Networks |
349 | -- | 355 | A. P. Shibanov. A Software Implementation Technique for Simulation of Ethernet Local Area Networks |
356 | -- | 359 | Leonid A. Kalinichenko, Mikhail R. Kogalovsky, Sergei D. Kuznetsov. Tenth Anniversary of ACM SIGMOD Moscow Chapter |