Результати пошуку

Рекомендовані теми у межах Вашого пошуку.
  • Показ 1 - 10 результатів із 10
Уточнити результати
  1. 1
    Зображення обкладинки

    On incompatibility of a nonlinear equations over set of natural numbers за авторством Krivoi, S.L., Nevmerzhitskiy, A.V.

    Опубліковано в PROBLEMS IN PROGRAMMING (2015)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Parallel Computations with Large-scale Air Pollution Models за авторством Dimov, I., Farago, I., Zlatev, Z.

    Опубліковано в PROBLEMS IN PROGRAMMING (2015)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Encryption system based on abelian groups and rings за авторством Kryvyi, S.L.

    Опубліковано в PROBLEMS IN PROGRAMMING (2020)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Model of the "department" ecosystem за авторством Kryvyi, S.L., Grinenko, O.O.

    Опубліковано в PROBLEMS IN PROGRAMMING (2024)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Development and substantiation of algorithms based on semantic properties за авторством Kryvyi, S.L., Maksymets, O.M.

    Опубліковано в PROBLEMS IN PROGRAMMING (2025)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras за авторством Maksymets, O.M.

    Опубліковано в PROBLEMS IN PROGRAMMING (2015)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Verification of programs: status, problems and experimental results. II за авторством Maksymets, A.N.

    Опубліковано в PROBLEMS IN PROGRAMMING (2025)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Verification of programs: status, problems and experimental results. I за авторством Maksymets, A.N.

    Опубліковано в PROBLEMS IN PROGRAMMING (2025)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    The algebro-logical approach to the analysis and processing of the text information за авторством Palagin, O.V., Kryvyi, S.L., Petrenko, M.G., Bibikov, D.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2026)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Formal-logical approach to building analysis systems of knowledge in different domains за авторством Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.

    Опубліковано в PROBLEMS IN PROGRAMMING (2026)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: