|
|
| ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив |
|
2014, том 21, номер 2
|
|
Механизм антивирусной защиты на базе Е. А. Толюпа |
5 | |
|
О поддержке рекурсивно-параллельного программирования в .NET Framework В. В. Васильчиков |
15 | |
|
Построение IL-программ ПЛК по LTL-спецификации Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов |
26 | |
|
Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем Д. М. Иванов |
39 | |
|
Некоторые аппроксимационные свойства групп конечного ранга Д. Н. Азаров |
50 | |
|
Разрешимость эквивалентности в перегородчатых моделях программ Р. И. Подловченко, А. Э. Молчанов |
56 | |
|
Неклассические релаксационные колебания в нейродинамике С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов |
71 | |
|
Приводимость пространства модулей стабильных рефлексивных пучков ранга А. С. Тихомиров, М. А. Заводчиков |
90 | |