Software
| Выпуск | Название | |
| Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) |
| Владимир Васильевич Васильчиков | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) |
| Владимир Васильевич Васильчиков | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| 1 - 4 из 4 результатов | ||
