Showing 1 - 20 results of 29 for search 'S. V. Shilov', query time: 0.03s Refine Results
  1. 1
    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers

    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers by N. V. Shilov

    Published 2010-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Verification of Backtracking and Branch and Bound Design Templates

    Verification of Backtracking and Branch and Bound Design Templates by N. V. Shilov

    Published 2011-12-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    ANATOLY IVANOVICH KITOV: THE AUTUMN OF THE PATRIARCH

    ANATOLY IVANOVICH KITOV: THE AUTUMN OF THE PATRIARCH by Valery V. Shilov

    Published 2017-09-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Teaching Formal Models of Concurrency Specification and Analysis

    Teaching Formal Models of Concurrency Specification and Analysis by N. V. Shilov

    Published 2015-12-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    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
    Save to List
    Saved in:
  6. 6
    Potential targets for the new anti-tuberculosis drug of the diarylquinoline group thiozonide

    Potential targets for the new anti-tuberculosis drug of the diarylquinoline group thiozonide by А. Yu. Savchenko, B. V. Shilov

    Published 2025-06-01
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    From the Editors of the Issue

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

    Published 2021-12-01
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    From the Editors of the Issue

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

    Published 2020-12-01
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    ANATOLY I. KITOV: PERSONALITY THROUGH THE PRISM OF DOCUMENTS

    ANATOLY I. KITOV: PERSONALITY THROUGH THE PRISM OF DOCUMENTS by Vladimir A. Kitov, Valery V. Shilov

    Published 2016-08-01
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects

    “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects by A. Yu. Bernstein, N. V. Shilov

    Published 2013-04-01
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)

    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem) by E. V. Bodin, N. O. Garanina, N. V. Shilov

    Published 2011-06-01
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    FUEL PLANNING PROBLEMS FOR FLIGHTS, PLANNED VIA STANDARD ARRIVAL ROUTES (STAR) WITH DELAY LEGS

    FUEL PLANNING PROBLEMS FOR FLIGHTS, PLANNED VIA STANDARD ARRIVAL ROUTES (STAR) WITH DELAY LEGS by V. G. Lugovoi, A. V. Sorokin, O. V. Shilov

    Published 2019-04-01
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Anatomy-morphological features of nasal mouth of ductus nasolacrimalis at pathological lacrimation

    Anatomy-morphological features of nasal mouth of ductus nasolacrimalis at pathological lacrimation by N. S. Tokareva, M. V. Shilov, A. V. Starokha, S. V. Logvinov

    Published 2006-12-01
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Structure and Laboratory Diagnostics of Non-medical Consumption of Modern Synthetic Drugs

    Structure and Laboratory Diagnostics of Non-medical Consumption of Modern Synthetic Drugs by O. L. Balabanova, V. V. Shilov, A. N. Lodyagin, S. I. Glushkov

    Published 2019-11-01
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

    Platform-independent Specification and Verification of the Standard Mathematical Square Root Function by Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky

    Published 2018-12-01
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Bioequivalence study of ondansetron tablets by HPLC-MS

    Bioequivalence study of ondansetron tablets by HPLC-MS by E. S. Stepanova, M. V. Ovcharov, S. S. Barsegyan, S. M. Nikonova, V. V. Shilov, V. V. Chistyakov

    Published 2014-04-01
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Ultrastructural changes of mucous membrane maxillary sinus at patients by odontogenic sinusitis

    Ultrastructural changes of mucous membrane maxillary sinus at patients by odontogenic sinusitis by O. D. Baidik, M. V. Shilov, D. A. Dolgun, Ye. V. Biritskaya, S. V. Logvinov

    Published 2009-04-01
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    A rare case of thymus lipofbroadenoma

    A rare case of thymus lipofbroadenoma by A. V. Shilov, A. M. Avdalyan, A. S. Shargin, A. V. Levitsky, D. N. Protsenko

    Published 2023-05-01
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Getting to the Heart of the Matter: Control over the Photolysis of PbI<sub>2</sub> Through Partial Lead Substitution

    Getting to the Heart of the Matter: Control over the Photolysis of PbI<sub>2</sub> Through Partial Lead Substitution by Marina I. Ustinova, Gennadii V. Shilov, Pavel A. Troshin, Sergey M. Aldoshin, Lyubov A. Frolova

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Comparative Analysis of Perspective Extragation Methods for Receiving Extractions from Fenugreek Seeds

    Comparative Analysis of Perspective Extragation Methods for Receiving Extractions from Fenugreek Seeds by S. S. Belokurov, E. V. Flisyuk, I. A. Narkevich, V. G. Luzhanin, S. V. Shilov, K. O. Novikova

    Published 2019-09-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: