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

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

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



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






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

Именной указатель, 2010, том 17

A H M S W
А Б В Г Д Е З К Л М Н П Р С Т Ф Ц Ч Ш Полный список
M. Anikeev, F. Madlener, A. Schlosser, S. A. Huss, C. Walther
Automated correctness proof of algorithm variants in elliptic curve cryptography
Модел. и анализ информ. систем, 2010, том 17:4,  7–16
S. A. Huss, см. M. Anikeev
Модел. и анализ информ. систем, 2010, том 17:4,  7–16
F. Madlener, см. M. Anikeev
Модел. и анализ информ. систем, 2010, том 17:4,  7–16
A. Schlosser, см. M. Anikeev
Модел. и анализ информ. систем, 2010, том 17:4,  7–16
C. Walther, см. M. Anikeev
Модел. и анализ информ. систем, 2010, том 17:4,  7–16
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
Аспекты практической реализации протокола ARTCP на ядре Linux 2.6
Модел. и анализ информ. систем, 2010, том 17:2,  144–149
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
Верификация C-программ на основе смешанной аксиоматической семантики
Модел. и анализ информ. систем, 2010, том 17:3,  5–28
И. С. Ануреев, см. В. А. Непомнящий
Модел. и анализ информ. систем, 2010, том 17:4,  88–100
М. М. Атучин, см. В. А. Непомнящий
Модел. и анализ информ. систем, 2010, том 17:4,  88–100
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
Генерация тестовых данных на основе формального анализа данных конфигурации проекта
Модел. и анализ информ. систем, 2010, том 17:4,  17–26
Ю. А. Белов
Составные редукции моделей Крипке и автоморфизмы
Модел. и анализ информ. систем, 2010, том 17:3,  29–37
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, Т. М. Сысоев
Тезаурус как инструмент поэтологии
Модел. и анализ информ. систем, 2010, том 17:1,  5–23
И. Б. Бурдонов, А. С. Косачев
Безопасное тестирование симуляции систем с отказами и разрушением
Модел. и анализ информ. систем, 2010, том 17:4,  27–40
М. К. Валиев, М. И. Дехтярь
О сложности верификации недетерминированных вероятностных мультиагентных систем
Модел. и анализ информ. систем, 2010, том 17:4,  41–50
Н. О. Гаранина
Проверка моделей распределенных систем с помощью аффинного представления данных
Модел. и анализ информ. систем, 2010, том 17:4,  52–59
Д. В. Глазков, С. А. Кащенко
Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла
Модел. и анализ информ. систем, 2010, том 17:3,  38–47
С. Д. Глызин, Е. О. Киселева
Учет запаздывания в цепочке связи между осцилляторами
Модел. и анализ информ. систем, 2010, том 17:2,  133–143
С. Д. Глызин
Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием
Модел. и анализ информ. систем, 2010, том 17:2,  28–47
С. Д. Глызин, Е. А. Солдатова
Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью–Нагумо
Модел. и анализ информ. систем, 2010, том 17:3,  134–143
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко
Мультистабильность в модели лазера с большим запаздыванием
Модел. и анализ информ. систем, 2010, том 17:2,  17–27
А. А. Давыдов, см. А. В. Батаев
Модел. и анализ информ. систем, 2010, том 17:4,  17–26
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
Об исчислении позитивно-образованных формул для автоматического доказательства теорем
Модел. и анализ информ. систем, 2010, том 17:4,  60–70
Н. А. Демьянков
Вариационные неравенства и принцип виртуальных перемещений
Модел. и анализ информ. систем, 2010, том 17:3,  48–57
М. И. Дехтярь, см. М. К. Валиев
Модел. и анализ информ. систем, 2010, том 17:4,  41–50
М. Г. Доррер
Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри
Модел. и анализ информ. систем, 2010, том 17:2,  5–16
П. Е. Ефимова
Математическая модель автоматизированной системы управления заказами в процессе технологической подготовки производства на предприятиях авиационной промышленности
Модел. и анализ информ. систем, 2010, том 17:1,  25–42
В. А. Захаров, см. И. В. Коннов
Модел. и анализ информ. систем, 2010, том 17:4,  78–87
В. Е. Захаров, см. В. Н. Бойков
Модел. и анализ информ. систем, 2010, том 17:1,  5–23
А. В. Зыкина, Н. В. Меленьчук
Двухшаговый экстраградиентный метод для задачи управления ресурсами
Модел. и анализ информ. систем, 2010, том 17:1,  65–75
И. С. Кащенко, см. Е. В. Григорьева
Модел. и анализ информ. систем, 2010, том 17:2,  17–27
С. А. Кащенко, см. Е. В. Григорьева
Модел. и анализ информ. систем, 2010, том 17:2,  17–27
С. А. Кащенко, см. Д. В. Глазков
Модел. и анализ информ. систем, 2010, том 17:3,  38–47
Е. О. Киселева, см. С. Д. Глызин
Модел. и анализ информ. систем, 2010, том 17:2,  133–143
А. В. Клепинин, А. А. Мелентьев
Интеграция семантических верификаторов в компиляторы языка Java
Модел. и анализ информ. систем, 2010, том 17:4,  70–77
И. В. Коннов, В. А. Захаров
Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени
Модел. и анализ информ. систем, 2010, том 17:4,  78–87
А. С. Косачев, см. И. Б. Бурдонов
Модел. и анализ информ. систем, 2010, том 17:4,  27–40
Е. В. Кузьмин, Д. Ю. Чалый
О множестве достижимости автоматных счетчиковых машин
Модел. и анализ информ. систем, 2010, том 17:1,  52–64
Е. В. Кузьмин, Д. Ю. Чалый
О языках автоматных счетчиковых машин
Модел. и анализ информ. систем, 2010, том 17:2,  48–71
Г. А. Курина, Нгуен Тхи Хоай
Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами
Модел. и анализ информ. систем, 2010, том 17:1,  93–116
А. А. Ларионов, см. А. В. Давыдов
Модел. и анализ информ. систем, 2010, том 17:4,  60–70
А. Н. Максименко
О числе фасет 2-смежностного многогранника
Модел. и анализ информ. систем, 2010, том 17:1,  76–82
И. В. Марьясов, см. И. С. Ануреев
Модел. и анализ информ. систем, 2010, том 17:3,  5–28
И. В. Марьясов, см. В. А. Непомнящий
Модел. и анализ информ. систем, 2010, том 17:4,  88–100
А. А. Мелентьев, см. А. В. Клепинин
Модел. и анализ информ. систем, 2010, том 17:4,  70–77
Н. В. Меленьчук, см. А. В. Зыкина
Модел. и анализ информ. систем, 2010, том 17:1,  65–75
С. А. Меркулов, см. И. В. Алексеев
Модел. и анализ информ. систем, 2010, том 17:2,  144–149
Н. Ю. Налютин, см. А. В. Батаев
Модел. и анализ информ. систем, 2010, том 17:4,  17–26
Нгуен Тхи Хоай, см. Г. А. Курина
Модел. и анализ информ. систем, 2010, том 17:1,  93–116
В. А. Непомнящий, см. И. С. Ануреев
Модел. и анализ информ. систем, 2010, том 17:3,  5–28
В. А. Непомнящий, В. А. Соколов
От редакторов специального выпуска
Модел. и анализ информ. систем, 2010, том 17:4,  1–2
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
Верификация C-программ в мультиязыковой системе СПЕКТР
Модел. и анализ информ. систем, 2010, том 17:4,  88–100
А. В. Николаев
О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ
Модел. и анализ информ. систем, 2010, том 17:2,  99–111
А. А. Петров, см. В. А. Непомнящий
Модел. и анализ информ. систем, 2010, том 17:4,  88–100
К. В. Петрова
Свойства слабой pm-сводимости множеств
Модел. и анализ информ. систем, 2010, том 17:1,  44–51
И. А. Пильщиков, см. В. Н. Бойков
Модел. и анализ информ. систем, 2010, том 17:1,  5–23
А. В. Промский, см. В. А. Непомнящий
Модел. и анализ информ. систем, 2010, том 17:4,  88–100
С. Н. Пупырев, А. В. Тихонов
Визуализация динамических графов для анализа сложных сетей
Модел. и анализ информ. систем, 2010, том 17:1,  117–135
В. С. Рублев, А. В. Смирнов
Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения
Модел. и анализ информ. систем, 2010, том 17:2,  72–98
В. С. Рублев
Язык объектных запросов динамической информационной модели DIM
Модел. и анализ информ. систем, 2010, том 17:3,  144–161
Д. В. Сандуляк
Явление буферности в обобщенном уравнении Свифта–Хоэнберга
Модел. и анализ информ. систем, 2010, том 17:1,  83–93
А. В. Сбоев
Рекуррентные последовательности над почтикольцами
Модел. и анализ информ. систем, 2010, том 17:3,  58–71
А. А. Сивов, см. И. В. Алексеев
Модел. и анализ информ. систем, 2010, том 17:2,  144–149
С. В. Синицын, см. А. В. Батаев
Модел. и анализ информ. систем, 2010, том 17:4,  17–26
А. В. Смирнов, см. В. С. Рублев
Модел. и анализ информ. систем, 2010, том 17:2,  72–98
А. С. Снятков
Разрешимость теории $\mathrm{Th}(\omega,0,1,<,+,f_0,…,f_n)$
Модел. и анализ информ. систем, 2010, том 17:3,  72–90
В. А. Соколов, см. В. А. Непомнящий
Модел. и анализ информ. систем, 2010, том 17:4,  1–2
Е. А. Солдатова, см. С. Д. Глызин
Модел. и анализ информ. систем, 2010, том 17:3,  134–143
Т. М. Сысоев, см. В. Н. Бойков
Модел. и анализ информ. систем, 2010, том 17:1,  5–23
Г. А. Тарнавский
Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования
Модел. и анализ информ. систем, 2010, том 17:2,  112–121
А. В. Тихонов, см. С. Н. Пупырев
Модел. и анализ информ. систем, 2010, том 17:1,  117–135
Н. П. Федотова
Гиперплоскости универсальной экстремали некоторых задач оптимизации
Модел. и анализ информ. систем, 2010, том 17:3,  91–106
А. М. Цирлин
Математические модели экономических систем с учетом необратимости протекающих в них процессов
Модел. и анализ информ. систем, 2010, том 17:3,  107–132
Д. Ю. Чалый, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2010, том 17:1,  52–64
Д. Ю. Чалый, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2010, том 17:2,  48–71
Е. А. Черкашин, см. А. В. Давыдов
Модел. и анализ информ. систем, 2010, том 17:4,  60–70
А. В. Шалимов
Метод оценки частоты выполнения фрагментов кода последовательной программы
Модел. и анализ информ. систем, 2010, том 17:2,  122–132
В. И. Шелехов
Верификация и синтез программ сложения на базе правил корректности операторов
Модел. и анализ информ. систем, 2010, том 17:4,  101–110
Н. В. Шилов
Пример верификации в проекте F@BOOL@, основанном на булевских решателях
Модел. и анализ информ. систем, 2010, том 17:4,  111–124
И. В. Шошмина
Проектирование программных бортовых систем управления с поддержкой верификации
Модел. и анализ информ. систем, 2010, том 17:4,  125–136
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019