Preview

Моделирование и анализ информационных систем

Расширенный поиск

Информация о разделе


Software

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