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

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

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



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






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


2012, том 19, номер 5  


Current Open Problems in Discrete and Computational Geometry
H. Edelsbrunner, A. Ivanov, R. Karasev
5
Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых
С. А. Кащенко
18
Динамика комплексного пространственно-распределенного уравнения Хатчинсона
Д. С. Глызин, С. А. Кащенко
35
Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии
Д. А. Куликов, А. С. Рудый
40
Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости
М. В. Демина, Н. А. Кудряшов
50
Автоколебания решеток нелинейных элементов в опыте Скотта
А. С. Бобок, С. Д. Глызин
56
Моделирование счетчиковых машин двухголовочными автоматами
Е. В. Кузьмин, В. А. Соколов
69
О неглавных идеалах в полурешетке степеней перечислимости
Б. Я. Солон, В. В. Тихов
74
Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования
М. С. Кропачева, А. И. Легалов
81
О теории алгебраических моделей программ с процедурами
Р. И. Подловченко, А. Э. Молчанов
100
Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
Л. В. Дворянский, И. А. Ломазова
115
Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей
С. И. Баландин, А. М. Васильев, Н. И. Кожемякин, Д. А. Лаурэ, И. В. Парамонов
131
TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные
А. А. Сивов
142
О работе семинара «Нелинейная динамика и вычислительная геометрия»
152
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019