RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2019, том 26, номер 3  


Software
Об автоматическом анализе практической стойкости обфусцирующих преобразований
П. Д. Борисов, Ю. В. Косолапов
317
Формальная верификация диаграмм троичных цифровых сигналов
Н. Ю. Куцак, В. В. Подымов
332

Computer system organization
Динамическая модель развития пиринговой файлообменной сети
А. И. Кононова, Л. Г. Гагарина
351
GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии
Н. А. Аникин, А. Ю. Мускатин, М. Б. Кузьминский, А. И. Русаков
360
Новый подход к моделированию генных сетей
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов
365

Algorithms
NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа
Н. С. Медведева, А. В. Смирнов
405
Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков
Н. С. Лагутина, К. В. Лагутина, Е. И. Бойчук, И. А. Воронцова, И. В. Парамонов
420

Discrete mathematics in relation to computer science
Геометрические оценки при интерполяции на $n$-мерном шаре
М. В. Невский
441
Сравнение диффеоморфных изображений на основе формирования персистентных гомологий
С. Н. Чуканов
450
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019