Programming and Computer Software, Volume 27

Volume 27, Number 1, January 2001

• Sergei A. Abramov, A. P. Kryukov, V. A. Rostovtsev:
  The Scientific Research Seminar on Computer Algebra in 1999-2000. 1-3
  
• S. I. Serdyukova:
  Solution of the Inverse Problem for the Two-Dimensional Discrete Schrödinger Equation Using REDUCE. 4-5
  
• A. M. Mitichkina, Anna A. Ryabenko:
  Representation of Algebraic Functions As Power and Fractional Power Series of Special Type. 6-11
  
• D. E. Khmelnov:
  MEG-Eliminations. 12-17
  
• Alexander Gusev, V. N. Samoilov, V. A. Rostovtsev, Sergey I. Vinitsky:
  Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields. 18-21
  
• Vladimir P. Gerdt, D. A. Yanovich, Yuri A. Blinkov:
  Fast Search for the Janet Divisor. 22-24
  
• Marina V. Kondratieva, V. A. Mityunin:
  Computation of the Differential Dimension Polynomial When Changing Generators in the Dirac Equations. 25-28
  
• A. V. Niukkanen, P. A. Niukkanen:
  Diagram Technique for Hypergeometric Series of Several Variables. 29-34
  
• Ha Q. Le:
  On the q-Analogue of Zeilberger's Algorithm to Rational Functions. 35-42
  
• M. V. Sosnin:
  An Algorithm for Nonparametric Decomposition of Differential Polynomials. 43-49
  
• V. M. Mikhelev:
  Data Definition in the Programming Language MARKIZ. 50-56
  

Volume 27, Number 2, March 2001

• Igor V. Pottosin:
  Preface to the Special Issue of the Journal. 57
  
• V. A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina:
  Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. 58-68
  
• Danil E. Baburin, Mikhail A. Bulyonkov, Pavel G. Emelianov, N. N. Filatkina:
  Visualization Facilities in Program Reengineering. 69-77
  
• S. I. Katkov, Igor V. Pottosin:
  Support Facilities for Development of Parallel Computational Algorithms. 78-85
  
• S. K. Chernonozhkin:
  Automated Test Generation and Static Analysis. 86-94
  
• Evgueni S. Petrov, Tatyana M. Yakhno:
  Subdefinite Models and Logic Programming: Implementation of Constraints. 95-100
  
• M. Yu. Loenko:
  Evaluating Elementary Functions with Guaranteed Precision. 101-110
  

Volume 27, Number 3, May 2001

• Alexey Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin:
  Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy. 111-122
  
• V. A. Krukov, R. V. Udovichenko:
  Debugging DVM Programs. 123-129
  
• E. A. Zhogolev:
  Graphical Editors and Graphic Grammars. 130-138
  
• Yuri A. Blinkov:
  Method of Separative Monomials for Involutive Divisions. 139-141
  
• Vladimir V. Kornyak:
  Computation of Cohomologies of Lie Superalgebras: Algorithm and Implementation. 142-145
  
• Victor N. Kasyanov:
  Graph Applications in Programming. 146-164
  
• L. V. Gorodnyaya, D. V. Irtegov, N. N. Nepeivoda, Igor V. Pottosin, Tatiana G. Churina:
  All-Siberian Open Olympiad in Programming (Novosibirsk State University). 165-167
  

Volume 27, Number 4, July 2001

• Victor E. Malyshkin:
  From the Editor of the Special Issue on Parallel Computations. 169-169
  
• Olga L. Bandman:
  Fine-Grained Parallelism in Computational Mathematics. 170-182
  
• Irina A. Lomazova:
  Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. 183-193
  
• S. V. Bakhanovich, Nickolai A. Likhoded:
  A Method for Parallelizing Algorithms by Vector Scheduling Functions. 194-199
  
• A. S. Nepomniaschaya:
  Representation of Edmonds' Algorithm for Finding Optimum Graph Branching on Associative Parallel Processors. 200-206
  
• V. A. Torgashev, I. V. Tsarev:
  Means for Organization of Parallel Computations and Programming for Multiprocessors with Dynamic Architecture. 207-216
  
• Alexander P. Vazhenin, Nikolay N. Mirenkov:
  Visual Programming System VIM. 217-226
  

Volume 27, Number 5, September 2001

• Vladimir L. Averbukh:
  Visualization Metaphors. 227-237
  
• Victor V. Toporkov:
  Satisfiability of Dataflow Models of Distributed Programs. 238-244
  
• A. G. Tormasov, M. A. Khasin, Yu. I. Pakhomov:
  Ensuring Fault-Tolerance in Distributed Media. 245-251
  
• V. V. Prokhorov, D. V. Smirnov:
  A Model of Estimation and Optimization of Expenditures in Multilevel Fuzzy Environments. 252-259
  
• A. A. Shalyto, N. I. Tukkel:
  SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems. 260-276
  
• B. F. Melnikov:
  Heuristics in Programming of Nondeterministic Games. 277-288
  

Volume 27, Number 6, November 2001

• Svyatoslav Sergeevich Lavrov:
  On the Relationship between Foundations of Programming and Mathematics. 289-296
  
• Leonid B. Sokolinsky:
  Organization of Parallel Query Processing in Multiprocessor Database Machines with Hierarchical Architecture. 297-308
  
• Nikolay A. Anisimov, E. A. Golenkov, D. I. Kharitonov:
  Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. 309-319
  
• A. M. Gorelik:
  Up-to-Date International Standards of the Fortran Programming Language. 320-328
  
• Michael Okhtilev:
  Construction of Programs for Real-Time Processing and Analysis of Measuring Information. 329-335
  
• V. A. Koloskov, M. V. Medvedeva:
  Models of Active Environment of Self-Organization of Fault-Tolerant Multimicrocontroller. 336-344
  
• E. A. Zhogolev:
  The Research Workshop on Computer-Aided Programming in 1999-2000 and 2000-2001 Academic Years. 345-347