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

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

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



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






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


2015, том 22, номер 4  


Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов
453
Алгоритмы для мажоритарного декодирования групповых кодов
В. М. Деундяк, Ю. В. Косолапов
464
О конечных группах с большой степенью неприводимого характера
Л. С. Казарин, С. С. Поисеева
483
О финитной отделимости подгрупп в расщепляемых расширениях
А. А. Кряжева
500
О выразительности подхода к построению ПЛК-программ по LTL-спецификации
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
507
Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях
А. Н. Носков, И. А. Манов
521
Задача о наибольшем кратном потоке в делимой сети и ее частные случаи
А. В. Смирнов
533
Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
546
A method of sample models of program construction in terms of Petri nets
D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev
563
Automation of formal verification of programs in the Pifagor language
M. S. Ushakova, A. I. Legalov
578
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019