|
Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов
|
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 |
