Showing 1 - 20 results of 145 for search 'A. Zakharov', query time: 0.09s Refine Results
  1. 1
    THE FORMATION OF A UNIFIED INFORMATION ENVIRONMENT OF A BASIC UNIVERSITY

    THE FORMATION OF A UNIFIED INFORMATION ENVIRONMENT OF A BASIC UNIVERSITY by Evgeniy A. Zakharov

    Published 2016-12-01
    Get full text
    Article
  2. 2
    Creation of service permanent establishment in Russian Federation when providing R&D services by foreign specialists

    Creation of service permanent establishment in Russian Federation when providing R&D services by foreign specialists by E. A. Zakharov

    Published 2021-07-01
    Get full text
    Article
  3. 3
    Modeling and analysis of the behavior of successive reactive programs

    Modeling and analysis of the behavior of successive reactive programs by V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  4. 4
    Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

    Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines by Vladimir A. Zakharov

    Published 2020-09-01
    Get full text
    Article
  5. 5
    So-called “Lollardsʼs Catechism”. The translation of part from middle English to Russian with commentary and introduction article

    So-called “Lollardsʼs Catechism”. The translation of part from middle English to Russian with commentary and introduction article by Sergey A. Zakharov

    Published 2020-07-01
    Get full text
    Article
  6. 6
    On the application of substitution algebra to program unification

    On the application of substitution algebra to program unification by V. A. Zakharov, T. A. Novikova

    Published 2018-10-01
    Get full text
    Article
  7. 7
    Influence of immunosuppression on morphostructure of the epididymis in experimental animals in the period of pronounced senile changes

    Influence of immunosuppression on morphostructure of the epididymis in experimental animals in the period of pronounced senile changes by S. A. Kashchenko, A. A. Zakharov

    Published 2018-06-01
    Get full text
    Article
  8. 8
    Program obfuscation as obstruction of program static analysis.

    Program obfuscation as obstruction of program static analysis. by K.S. Ivanov, V.A. Zakharov

    Published 2004-01-01
    Get full text
    Article
  9. 9
    INVESTIGATION OF DYNAMIC GLASS TRANSITIONS AND STRUCTURE TRANSFORMATIONS IN CRYOVACUUM CONDENSATES OF ETHANOL

    INVESTIGATION OF DYNAMIC GLASS TRANSITIONS AND STRUCTURE TRANSFORMATIONS IN CRYOVACUUM CONDENSATES OF ETHANOL by M. A. Zakharov, E. S. Korshikov

    Published 2011-03-01
    Get full text
    Article
  10. 10
    Polynomial time algorithm for checking strong equivalence of program

    Polynomial time algorithm for checking strong equivalence of program by T. A. Novikova, V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  11. 11
    CHANGES IN THE MORPHOSTRUCTURE OF ANIMALS’ TESTES OF THE PERIOD OF PRONOUNCED SENILE CHANGES AT IMMUNOSUPPRESSION

    CHANGES IN THE MORPHOSTRUCTURE OF ANIMALS’ TESTES OF THE PERIOD OF PRONOUNCED SENILE CHANGES AT IMMUNOSUPPRESSION by S. A. Kashchenko, A. A. Zakharov

    Published 2018-05-01
    Get full text
    Article
  12. 12
    Двусторонняя унификация программ и ее применение для задач рефакторинга

    Двусторонняя унификация программ и ее применение для задач рефакторинга by T. A. Novikova, V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  13. 13
    Polynomial time algorithm for checking strong equivalence of program

    Polynomial time algorithm for checking strong equivalence of program by V. A. Zakharov, T. A. Novikova

    Published 2018-10-01
    Get full text
    Article
  14. 14
    The application of adaptive symmetry reduction for LTL model checking

    The application of adaptive symmetry reduction for LTL model checking by I. V. Konnov, V. A. Zakharov

    Published 2010-12-01
    Get full text
    Article
  15. 15
    On the verification of strictly deterministic behavior of Timed Finite State Machines

    On the verification of strictly deterministic behavior of Timed Finite State Machines by E. M. Vinarskii, V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  16. 16
    Analysis of the efficiency of bus priority methods when passing through intersections using adaptive traffic light control

    Analysis of the efficiency of bus priority methods when passing through intersections using adaptive traffic light control by D. A. Zakharov, A. V. Pistsov

    Published 2022-08-01
    Get full text
    Article
  17. 17
    Numerical calculation of heat transfer coefficient in cooled crescent gap of self-lubricating bearing

    Numerical calculation of heat transfer coefficient in cooled crescent gap of self-lubricating bearing by N. A. Raykovskiy, V. A. Zakharov

    Published 2019-11-01
    Get full text
    Article
  18. 18
    From the Editors of the Issue

    From the Editors of the Issue by Vladimir A. Zakharov, Nikolay V. Shilov

    Published 2019-12-01
    Get full text
    Article
  19. 19
    University proceedings. Volga region. Medical sciences

    University proceedings. Volga region. Medical sciences by A.A. Zakharov, V.V. Vergunova

    Published 2025-02-01
    Article
  20. 20
    A plastic stress intensity factor approach to turbine disk structural integrity assessment

    A plastic stress intensity factor approach to turbine disk structural integrity assessment by V. Shlyannikov, A. Zakharov, R. Yarullin

    Published 2016-07-01
    Get full text
    Article

Search Tools: