1. An algorithm for the decomposition of differential polynomials in the general case

   • M. V. Sosnin

   OriginalPaper 27 July 2011 Pages: 181 - 186

2. A definite summation of hypergeometric terms of special kind

   • A. A. Ryabenko

   OriginalPaper 27 July 2011 Pages: 187 - 191

3. X- and Y-invariants of partial differential operators in the plane

   • E. S. Shemyakova

   OriginalPaper 27 July 2011 Pages: 192 - 196

4. A method for acceleration of logical inference in the production knowledge model

   • R. S. Katerinenko
   • I. A. Bessmertnyi

   OriginalPaper 27 July 2011 Pages: 197 - 199

5. Game-theoretic simulation checking tool

   • P. E. Bulychev

   OriginalPaper 27 July 2011 Pages: 200 - 209

6. Computational programming technologies

   • V. P. Il’in
   • I. N. Skopin

   OriginalPaper 27 July 2011 Pages: 210 - 222

7. Optimization of the NPTL thread library in Linux for hard real-time systems

   • A. V. Fedorov

   OriginalPaper 27 July 2011 Pages: 223 - 227