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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

REALISTIC CORRECT SYSTEMS IMPLEMENTATION von Goerigk, W.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

60 Years of Databases von Reznichenko, V.A.

Volltext

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

Volltext

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

Volltext