Programming and Computer Software

SCIE-ISI SCOPUS (1978-1992,1996-2023)

  1608-3261

  0361-7688

 

Cơ quản chủ quản:  PLEIADES PUBLISHING INC , Pleiades Publishing

Lĩnh vực:
Software

Các bài báo tiêu biểu

Static analyzer Svace for finding defects in a source program code
Tập 40 Số 5 - Trang 265-275 - 2014
В. П. Иванников, Andrey Belevantsev, Alexey Borodin, Valery Ignatiev, Dmitry Zhurikhin, Arutyun Avetisyan
Application of finite automatons for program testing
- 2000
Igor Burdonov, A. S. Kossatchev, V. V. Kulyamin
Positional Characteristics for Efficient Number Comparison over the Homomorphic Encryption
- 2019
Mikhail Babenko, Andrei Tchernykh, Nikolay I. Chervyakov, Viktor Kuchukov, Vanessa Miranda-López, Raúl Rivera-Rodríguez, Z. Du, El‐Ghazali Talbi
Parameterization of the discriminant set of a polynomial
Tập 42 Số 2 - Trang 65-76 - 2016
Alexander Borisovich Batkhin
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
- 2003
V. A. Nepomniaschy, Igor S. Anureev, Алексей Владимирович Промский
Discomfort of Visual Perception in Virtual and Mixed Reality Systems
- 2019
Andrey Zhdanov, Dmitry Zhdanov, N. N. Bogdanov, Igor S. Potemin, В. А. Галактионов, Maxim Sorokin
Survey of Architectures of Parallel Database Systems
- 2004
Leonid B. Sokolinsky
Hamiltonian normalization in the restricted many-body problem by computer algebra methods
Tập 38 - Trang 156-166 - 2012
A. N. Prokopenya
A symbolic algorithm for construction of a real canonical transformation that reduces the Hamiltonian determining motion of an autonomous two-degree-of-freedom system in a neighborhood of an equilibrium state to the normal form is discussed. The application of the algorithm to the restricted planar circular three-body problem is demonstrated. The expressions obtained for the coefficients of the Ha...... hiện toàn bộ