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

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

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



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






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


2007, том 14, номер 1  


Минимальные проекторы и максимальные симплексы
М. В. Невский
3
Синхронная модель автоматной программы
С. В. Кубасов, В. А. Соколов
11
Динамика простейшей модели системы реакция-диффузия
Ю. С. Колесов, А. Е. Харьков
19
$K$-функционалы и наилучшие кусочно-полиномиальные приближения
А. Н. Морозов
27
Верификация автоматных программ с использованием LTL
К. А. Васильева, Е. В. Кузьмин
31
Расстояния и другие меры близости на множестве черно-белых цифровых изображений
П. Г. Парфенов, И. А. Каплий, О. С. Куликов
44
Принципы построения семантической сервис-ориентированной архитектуры
Д. Ю. Кашалкин, В. А. Курчидис
48
Автоморфизмы систем переходов
Ю. А. Белов
54
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019