Search Results - University of Turin*

Suggested Topics within your search.
  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Cover Image

    The universal Turing machine interpreter by A. F. Kurgaev, S. N. Grigorev

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    The models of the “VOIDS” in the Universe by Korkina, M.P., Turinov, A.N.

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    The models of the “VOIDS” in the Universe by Korkina, M. P., Turinov, A. N.

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Интерпретатор универсальной машины Тьюринга by Кургаев, А.Ф., Григорьев, С.Н.

    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    The definition of formal languages in the meta language of normal forms of knowledge by Kurgaev, A.F., Grygoryev, S.M.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Tete-a-tete project: software engineering tools supporting understanding by Hrytsay, V.P., Zakhariya, L.M.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    50 years of software engineering by Sydorov, N.A.

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

    REALISTIC CORRECT SYSTEMS IMPLEMENTATION by Goerigk, W.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Cover Image

    Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга by Zaitsev, D. A.

    Published 2012
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Cover Image

    Метод семантичної верифікації застосувань у технології GPGPU by Kryvyi, Serhii L., Pogorilyy, Sergiy D., Slynko, Maksym S., Kramov, Artem A.

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    Cover Image

    Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation by Goerigk, W., Langmaack, H.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    Cover Image

    УПРАВЛІННЯ ТРАНСФОРМАЦІЙНИМИ ПРОЦЕСАМИ В СИСТЕМІ ЕКОНОМІЧНОЇ БЕЗПЕКИ ПІДПРИЄМСТВА by Ivchenko, Ye.А.

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  13. 13
    Cover Image

    60 Years of Databases by Reznichenko, V.A.

    Published 2021
    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    Cover Image

    On nonlocal symmetries of a system of chemotaxis equations with derivative nonlinearity by Serov, M. I., Podoshvelev, Yu. G., Сєров, М. I., Подошвелев, Ю. Г.

    Published 2022

    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    Cover Image

    Определение формальных языков в метаязыке нормальных форм знаний by Кургаев, А.Ф., Григорьев, С.Н.

    Get full text
    Article

    Save to List
    Saved in:

Search Tools: