Том 22, № 4 (2015)

Весь выпуск

Посмотреть или загрузить весь выпуск PDF

Содержание

Оригинальные статьи

Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях PDF (Rus)
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов 453-463
Алгоритмы для мажоритарного декодирования групповых кодов PDF (Rus)
В. М. Деундяк, Ю. В. Косолапов 464-482
О конечных группах с большой степенью неприводимого характера PDF (Rus)
Л. С. Казарин, С. С. Поисеева 483-499
О финитной отделимости подгрупп в расщепляемых расширениях PDF (Rus)
А. А. Кряжева 500-506
О выразительности подхода к построению ПЛК-программ по LTL-спецификации PDF (Rus)
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов 507-520
Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях PDF (Rus)
А. Н. Носков, И. А. Манов 521-532
Задача о наибольшем кратном потоке в делимой сети и ее частные случаи PDF (Rus)
А. В. Смирнов 533-545
Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов PDF (Rus)
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин 546-562
Метод генерации примеров моделей программ в терминах сетей Петри PDF (Rus)
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев 563-577
Автоматизация формальной верификации программ на языке Пифагор PDF (Rus)
М. С. Ушакова, А. И. Легалов 578-589


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)