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

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

    Efficient increasing of the mutation score during model-based test suite generation за авторством Kolchin, A., Potiyenko, S., Weigert, T.

    Опубліковано 2020

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

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

    A GPU-based singular value decomposition algorithm за авторством Sukharskyi, S.S.

    Опубліковано 2023

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

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

    DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2 за авторством Kolesnyk, V.G.

    Опубліковано 2017
    Отримати повний текст
    Стаття

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

    The architecture and functionality of the multi-agent system Navigation за авторством Yalovets, A.L.

    Опубліковано 2018

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

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

    Description model of programming style ecosystem за авторством Sydorov, N.A., Sydorova, N.N., Sydorov, E.N.

    Опубліковано 2020

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

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

    Toward software artifacts ecosystem за авторством Sydorov, N.A.

    Опубліковано 2021

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

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

    DS-theory. Scientific aspects and prospects for development за авторством Kolesnyk, V.G.

    Опубліковано 2018

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

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

    Interactive method for cumulative analysis of software formal models behavior за авторством Kolchin, A.V.

    Опубліковано 2018

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

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

    Domain engineering approach of software requirements analysis за авторством Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

    Опубліковано 2020

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

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

    Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

    Опубліковано 2018

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

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

    Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

    Опубліковано 2018

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

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

    Architecture and functionality of the decision support system SPOR за авторством Yalovets, A.L.

    Опубліковано 2023

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

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

    On the peculiarities of using sparse matrices in problems of mathematical modeling за авторством Khimich, O.M., Popov, A.V., Chystiakov, О.V.

    Опубліковано 2023

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

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

    An approach of intelligent searching of information in texts за авторством Chebanuyk, O.V.

    Опубліковано 2023

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

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

    Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.

    Опубліковано 2018

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

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

    Agile requirement analysis approach using artificial intelligent technologies за авторством Chebanyuk, O.V.

    Опубліковано 2024

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

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

    Formal verification of deep neural networks за авторством Panchuk, B.O.

    Опубліковано 2024

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

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

    Formal foundations for software model to model transformation operation за авторством Chebanyuk, O.V.

    Опубліковано 2018

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

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

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