Definition of the semantics of programming language constructs in terms of λ-calculus. I V. N. DomrachevYu. V. KapitonovaL. G. Samoilenko OriginalPaper Pages: 590 - 595
An approach to checking the composition of controlling automata V. V. Brovarnik OriginalPaper Pages: 606 - 611
Verification of circuit models for sampled-data radio-engineering systems Yu. A. BelovV. L. MakarovV. B. Shul'zhenko OriginalPaper Pages: 612 - 621
Synthesis of parallel microprogrammed structures O. L. BandmanS. V. PiskunovS. N. Sergeev OriginalPaper Pages: 621 - 628
A normative approach to organizing the analysis process in management improvement systems Yu. A. MikheevA. S. FrolovV. F. Krivorotov OriginalPaper Pages: 628 - 635
Solving partially integer-valued optimization problems which are convex relative to a continuous variable V. A. RoshchinI. V. SergienkoN. V. Semenova OriginalPaper Pages: 635 - 641
Solution of problems of high dimensionality by modified gradient minimization with space expansion N. Z. ShorV. I. Gershovich OriginalPaper Pages: 642 - 646
An algorithm for selecting the execution intensity of jobs in a schedule V. G. VizingL. N. KomzakovaA. V. Tarchenko OriginalPaper Pages: 646 - 649
Solution of large systems of linear algebraic equations on unified series (ES) computers V. N. DzekhV. Yu. KudrinskiiV. E. Truten' OriginalPaper Pages: 650 - 653
A method for solving linear integer-valued programming problems A. G. Bushnyi OriginalPaper Pages: 654 - 657
Rapid on-site design of experiments in field tests V. I. SkurikhinN. A. DonchenkoA. A. Ursat'ev OriginalPaper Pages: 658 - 666
Limit theorems for a class of imbedded semi-Markov processes S. M. BrodiE. N. Bogdantsev OriginalPaper Pages: 667 - 673
A class of problems solved by sequential analysis of versions S. N. Trushin OriginalPaper Pages: 678 - 687
The estimates of the rate of convergence of algorithms based on barrier functions with the use of quadratic programming problems O. N. Tokareva OriginalPaper Pages: 688 - 695
A new class of dynamic models and its applications in biology. III V. M. GlushkovV. V. IvanovV. M. Yanenko OriginalPaper Pages: 695 - 713
Transients in a blood circulation system. Investigations on a mathematical model Yu. N. Onopchuk OriginalPaper Pages: 713 - 717