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

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

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



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






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


2017, том 24, номер 6  


От редактора специального выпуска
В. А. Захаров
675
Семантически-ориентированная миграция Java-программ: опыт практического применения
А. О. Алексюк, В. М. Ицыксон
677
Towards measuring the abstractness of state machines based on mutation testing
Thomas Baar
691
Jolie Static Type Checker: a prototype
D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov
704
Towards null safety benchmarks for object initialization
A. V. Kogtenkov
718
К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев
730
Invariant elimination of definite iterations over arrays in C programs verification
I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev
743
Семантические средства обеспечения безопасности в программно-конфигурируемых сетях
Е. Ю. Антошина, Д. Ю. Чалый
755
Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин
760
Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов
Н. С. Лагутина, К. В. Лагутина, И. А. Щитов, И. В. Парамонов
772
Задача о кратчайшем пути в кратном графе
А. В. Смирнов
788
Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации
Д. А. Макаров
802
Поэтология: задачи построения тезауруса и спецификации стихового текста
В. Н. Бойков, М. С. Каряева
811
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019