Contents
Programming and Computer Software

Vol. 37, No. 4, 2011

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

An Algorithm for the Decomposition
of Differential Polynomials in the General Case

M. V. Sosnin p. 181  abstract

A Definite Summation of Hypergeometric Terms of Special Kind

A. A. Ryabenko p. 187  abstract

X- and Y-Invariants of Partial Differential Operators in the Plane

E. S. Shemyakova p. 192  abstract

A Method for Acceleration of Logical Inference
in the Production Knowledge Model

R. S. Katerinenko and I. A. Bessmertnyi p. 197  abstract

Game–Theoretic Simulation Checking Tool

P. E. Bulychev p. 200  abstract

Computational Programming Technologies

V. P. Il’in and I. N. Skopin p. 210  abstract

Optimization of the NPTL Thread Library
in Linux for Hard Real-Time Systems

A. V. Fedorov p.223  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.