Suggested Topics within your search.
Showing 1 - 8 results of 8 for search '', query time: 0.07s Refine Results
  1. 1
    Verification of programs: status, problems and experimental results. I
    by Maksymets, A.N.
    Published 2025
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    On incompatibility of a nonlinear equations over set of natural numbers
    by Krivoi, S.L., Nevmerzhitskiy, A.V.
    Published 2015
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Parallel Computations with Large-scale Air Pollution Models
    by Dimov, I., Farago, I., Zlatev, Z.
    Published 2015
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Model of the "department" ecosystem
    by Kryvyi, S.L., Grinenko, O.O.
    Published 2024
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
    by Maksymets, O.M.
    Published 2015
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Verification of programs: status, problems and experimental results. II
    by Maksymets, A.N.
    Published 2025
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Encryption system based on abelian groups and rings
    by Kryvyi, S.L.
    Published 2020
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Development and substantiation of algorithms based on semantic properties
    by Kryvyi, S.L., Maksymets, O.M.
    Published 2025
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search