1. Method for solution of equation systems for determination of electrical-network operating conditions

   • V. A. Gureev
   • N. N. Redkovskii

   Systems Analysis Pages: 155 - 163

2. International school—seminar ‘Parallel Programming and High-Performance Systems’

   • G. E. Tseitlin
   • S. D. Fishchuk

   Software-Hardware Systems Pages: 164 - 166

3. Design of symbolic-processing algorithms

   • G. E. Tseitlin

   Software-Hardware Systems Pages: 167 - 176

4. Transformation methods and tools for design of efficient and reliable programs

   • V. N. Kas'yanov

   Software-Hardware Systems Pages: 177 - 184

5. A calculus of nets

   • Ludwik Czaja

   Software-Hardware Systems Pages: 185 - 193

6. On a categorical approach to the study of algorithmic algebras

   • S. V. Surzhko

   Software-Hardware Systems Pages: 194 - 201

7. Problems of inclusion and equivalence for program schemata and formal languages

   • L. P. Lisovik

   Software-Hardware Systems Pages: 202 - 209

8. Consistency of formalized specifications in multilevel programming

   • V. P. Panfilenko

   Software-Hardware Systems Pages: 210 - 219

9. Use of special processors for efficient realization of operations of relational algebra in vertical-processing systems

   • A. Sh. Nepomnyashchaya
   • Ya. I. Fet

   Software-Hardware Systems Pages: 220 - 228

10. Mutually complementary formalizations of deductive query languages

    • V. I. Zadorozhnyi
    • L. A. Kalinichenko
    • N. S. Nikitchenko

    Software-Hardware Systems Pages: 229 - 241

11. On computer-aided design of language processors

    • N. M. Mishchenko
    • N. N. Shchegoleva

    Software-Hardware Systems Pages: 242 - 246

12. Parallel-loop-execution technology for implementation on vector processor

    • O. V. Lukinova

    Software-Hardware Systems Pages: 247 - 249

13. Tools for smart data bases

    • V. O. Grechko
    • Yu. V. Kapitonova
    • S. B. Pogrebinskii

    Software-Hardware Systems Pages: 250 - 257

14. Mathematical, software, and hardware support for field-modeling computer technology

    • V. L. Rvachev
    • A. N. Shevchenko
    • V. V. Veretel'nik

    Software-Hardware Systems Pages: 258 - 267

15. Case system for structured modular composition programming: Conceptual fundamentals

    • I. N. Parasyuk
    • A. V. Kalita
    • A. I. Provotar

    Software-Hardware Systems Pages: 268 - 274

16. Orientir — audio tools for text construction

    • L. I. Nagornaya
    • T. K. Terzyan
    • E. L. Yushchenko

    Software-Hardware Systems Pages: 275 - 281

17. Tools for intelligence testing of children

    • L. N. Dobrovskaya
    • G. É. Mikailov
    • S. D. Fishchuk

    Software-Hardware Systems Pages: 282 - 286

18. On object orientation in MAYAK

    • T. A. Val'kevich

    Software-Hardware Systems Pages: 287 - 293

19. On multilevel structured program design for process-control systems

    • V. G. Akulovskii

    Software-Hardware Systems Pages: 294 - 302