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

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

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



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






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


2010, том 17, номер 3  


Верификация C-программ на основе смешанной аксиоматической семантики
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
5
Составные редукции моделей Крипке и автоморфизмы
Ю. А. Белов
29
Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла
Д. В. Глазков, С. А. Кащенко
38
Вариационные неравенства и принцип виртуальных перемещений
Н. А. Демьянков
48
Рекуррентные последовательности над почтикольцами
А. В. Сбоев
58
Разрешимость теории $\mathrm{Th}(\omega,0,1,<,+,f_0,…,f_n)$
А. С. Снятков
72
Гиперплоскости универсальной экстремали некоторых задач оптимизации
Н. П. Федотова
91
Математические модели экономических систем с учетом необратимости протекающих в них процессов
А. М. Цирлин
107
Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью–Нагумо
С. Д. Глызин, Е. А. Солдатова
134
Язык объектных запросов динамической информационной модели DIM
В. С. Рублев
144
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019