1. Formalization of a test experiment-II

   • I. B. Bourdonov
   • A. S. Kossatchev

   OriginalPaper 23 July 2013 Pages: 163 - 181

2. Metadata in computer systems

   • M. R. Kogalovsky

   OriginalPaper 26 July 2013 Pages: 182 - 193

3. An approach to implementation of aspect-oriented programming for C

   • E. M. Novikov

   OriginalPaper 26 July 2013 Pages: 194 - 206

4. An algorithm for constructing toric compactifications

   • A. A. Kytmanov
   • A. V. Shchuplev

   OriginalPaper 26 July 2013 Pages: 207 - 211

5. A package to work with linear partial differential operators

   • Ekaterina Shemyakova

   OriginalPaper 26 July 2013 Pages: 212 - 219