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

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

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



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






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

Именной указатель, 2011, том 18

А Б Г Д Е З И К М Н О П Р С Т Х Ц Ч Ш Я Полный список
С. А. Амелькин, О. С. Иванова
Предельные возможности передачи информации в макросистемах
Модел. и анализ информ. систем, 2011, том 18:3,  75–81
И. С. Ануреев, см. М. М. Атучин
Модел. и анализ информ. систем, 2011, том 18:4,  21–33
И. С. Ануреев
Типовые примеры использования языка Atoment
Модел. и анализ информ. систем, 2011, том 18:4,  7–20
М. М. Атучин, И. С. Ануреев
Атрибутные аннотации и их применение в дедуктивной верификации C-программ
Модел. и анализ информ. систем, 2011, том 18:4,  21–33
С.Н. Баранов, В. П. Котляров
Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов
Модел. и анализ информ. систем, 2011, том 18:4,  118–130
В. А. Башкин
Построение приближений бисимуляции в односчетчиковых сетях
Модел. и анализ информ. систем, 2011, том 18:4,  33–44
Д. М. Белоглазов, М. Ю. Машуков, В. А. Непомнящий
Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри
Модел. и анализ информ. систем, 2011, том 18:4,  144–156
М. А. Беляев, В. А. Цесько
Статический анализ с использованием систем типов и эффектов на основе LLVM
Модел. и анализ информ. систем, 2011, том 18:4,  45–55
Е. В. Бодин, Н. О. Гаранина, Н. В. Шилов
Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)
Модел. и анализ информ. систем, 2011, том 18:2,  113–128
Н. О. Гаранина, см. Е. В. Бодин
Модел. и анализ информ. систем, 2011, том 18:2,  113–128
Н. О. Гаранина
Оптимизационные процедуры в аффинной проверке моделей
Модел. и анализ информ. систем, 2011, том 18:4,  56–67
Д. В. Глазков
Локальная динамика уравнения с сильно запаздывающей обратной связью
Модел. и анализ информ. систем, 2011, том 18:1,  75–85
М. И. Глухих, В. М. Ицыксон, В. А. Цесько
Использование зависимостей для повышения точности статического анализа программ
Модел. и анализ информ. систем, 2011, том 18:4,  68–79
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением
Модел. и анализ информ. систем, 2011, том 18:1,  37–45
С. Д. Глызин, Е. О. Овсянникова
Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями
Модел. и анализ информ. систем, 2011, том 18:1,  86–105
Е. А. Голенков, см. Г. В. Тарасов
Модел. и анализ информ. систем, 2011, том 18:2,  18–38
Е. В. Горчакова
Динамика слабого взаимодействия в системе близких видов
Модел. и анализ информ. систем, 2011, том 18:1,  68–74
А. М. Григорьев, Е. Е. Иванко, А. Г. Ченцов
Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры
Модел. и анализ информ. систем, 2011, том 18:3,  101–124
Н. А. Демьянков
О двух конечномерных аппроксимациях периодической краевой задачи
Модел. и анализ информ. систем, 2011, том 18:3,  63–74
В. Джиминез, см. Н. Г. Кушик
Модел. и анализ информ. систем, 2011, том 18:4,  131–143
О. А. Дунаева
Принципы построения слоистых нейронных сетей на основе импульсных нейронов
Модел. и анализ информ. систем, 2011, том 18:2,  65–76
Н. В. Евтушенко, см. Н. Г. Кушик
Модел. и анализ информ. систем, 2011, том 18:4,  131–143
Д. А. Зайцев
Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова
Модел. и анализ информ. систем, 2011, том 18:4,  80–93
А. В. Захаров, М. Ю. Моисеев
Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC
Модел. и анализ информ. систем, 2011, том 18:4,  94–105
Е. Е. Иванко, см. А. М. Григорьев
Модел. и анализ информ. систем, 2011, том 18:3,  101–124
О. С. Иванова, см. С. А. Амелькин
Модел. и анализ информ. систем, 2011, том 18:3,  75–81
В. М. Ицыксон, см. М. И. Глухих
Модел. и анализ информ. систем, 2011, том 18:4,  68–79
А. Кавалли, см. Н. Г. Кушик
Модел. и анализ информ. систем, 2011, том 18:4,  131–143
А. А. Кащенко
Устойчивость бегущих волн в уравнении Гинзбурга–Ландау с малой диффузией
Модел. и анализ информ. систем, 2011, том 18:3,  58–62
И. С. Кащенко
Динамические свойства одной модели пассивного захвата мод
Модел. и анализ информ. систем, 2011, том 18:1,  32–36
И. С. Кащенко
Локальная динамика уравнения с длительным экспоненциально распределенным запаздыванием
Модел. и анализ информ. систем, 2011, том 18:3,  42–49
С. А. Кащенко
Динамика квазилинейной краевой задачи, обобщающей уравнение с большим запаздыванием
Модел. и анализ информ. систем, 2011, том 18:1,  28–31
С. А. Кащенко, см. Д. С. Глызин
Модел. и анализ информ. систем, 2011, том 18:1,  37–45
С. А. Кащенко
Основные квазинормальные формы для двухкомпонентных систем параболических уравнений
Модел. и анализ информ. систем, 2011, том 18:3,  12–20
А. В. Климов
Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем
Модел. и анализ информ. систем, 2011, том 18:4,  106–117
А. Ю. Коверга, Е. П. Кубышкин
Хаотические колебания одной распределенной динамической системы с бесконечным запаздыванием
Модел. и анализ информ. систем, 2011, том 18:1,  46–55
В. П. Котляров, см. С. Н. Баранов
Модел. и анализ информ. систем, 2011, том 18:4,  118–130
Е. П. Кубышкин, см. А. Ю. Коверга
Модел. и анализ информ. систем, 2011, том 18:1,  46–55
С. Д. Кузнецов, Н. А. Мендкович
Оптимизация конъюнктов условий в составе запросов
Модел. и анализ информ. систем, 2011, том 18:3,  144–154
А. Н. Куликов, Г. В. Пилипенко
Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа
Модел. и анализ информ. систем, 2011, том 18:1,  56–67
Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока
Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN
Модел. и анализ информ. систем, 2011, том 18:4,  131–143
А. В. Майоров
Стратегия выполнения операций копирования и удаления в дереве объектов
Модел. и анализ информ. систем, 2011, том 18:1,  116–129
А. Н. Малков, Г. П. Штерн, И. А. Михайлов
Разбиение железнодорожного состава на отдельные вагоны
Модел. и анализ информ. систем, 2011, том 18:2,  77–112
А. Маммар, см. Н. Г. Кушик
Модел. и анализ информ. систем, 2011, том 18:4,  131–143
М. Ю. Машуков, см. Д. М. Белоглазов
Модел. и анализ информ. систем, 2011, том 18:4,  144–156
Н. А. Мендкович, см. С. Д. Кузнецов
Модел. и анализ информ. систем, 2011, том 18:3,  144–154
И. А. Михайлов, см. А. Н. Малков
Модел. и анализ информ. систем, 2011, том 18:2,  77–112
М. Ю. Моисеев, см. А. В. Захаров
Модел. и анализ информ. систем, 2011, том 18:4,  94–105
Э. Монте де Ока, см. Н. Г. Кушик
Модел. и анализ информ. систем, 2011, том 18:4,  131–143
А. Н. Морозов
Об операторах дифференцирования и интегрирования
Модел. и анализ информ. систем, 2011, том 18:3,  50–57
М. В. Невский
Геометрические оценки в полиномиальной интерполяции
Модел. и анализ информ. систем, 2011, том 18:1,  142–148
М. В. Невский
О геометрических характеристиках $n$-мерного симплекса
Модел. и анализ информ. систем, 2011, том 18:2,  52–64
М. В. Невский
О гипотезе Лассака для выпуклого тела
Модел. и анализ информ. систем, 2011, том 18:3,  5–11
В. А. Непомнящий, см. Д. М. Белоглазов
Модел. и анализ информ. систем, 2011, том 18:4,  144–156
В. А. Непомнящий, В. А. Соколов
От редакторов специального выпуска
Модел. и анализ информ. систем, 2011, том 18:4,  5–6
П. Н. Нестеров
Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов
Модел. и анализ информ. систем, 2011, том 18:1,  5–27
П. Н. Нестеров
Об асимптотике критических решений систем дифференциальных уравнений с колебательно убывающими коэффициентами
Модел. и анализ информ. систем, 2011, том 18:3,  21–41
А. В. Николаев
Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника
Модел. и анализ информ. систем, 2011, том 18:3,  82–100
Е. О. Овсянникова, см. С. Д. Глызин
Модел. и анализ информ. систем, 2011, том 18:1,  86–105
И. В. Парамонов
Релаксационные циклы обобщённого уравнения импульсного нейрона
Модел. и анализ информ. систем, 2011, том 18:1,  106–115
Г. В. Пилипенко, см. А. Н. Куликов
Модел. и анализ информ. систем, 2011, том 18:1,  56–67
А. С. Полстьянов, см. Д. С. Глызин
Модел. и анализ информ. систем, 2011, том 18:1,  37–45
С. В. Поляков
О тензорных квадратах неприводимых представлений конечных почти простых групп. I
Модел. и анализ информ. систем, 2011, том 18:1,  130–141
С. В. Поляков
О тензорных квадратах неприводимых представлений конечных почти простых групп. II
Модел. и анализ информ. систем, 2011, том 18:2,  5–17
А. В. Промский
Верификация Си-программ: объяснение условий корректности и стандартная библиотека
Модел. и анализ информ. систем, 2011, том 18:4,  157–167
В. С. Рублев
Организация выполнения объектных запросов в динамической информационной модели DIM
Модел. и анализ информ. систем, 2011, том 18:2,  39–51
А. А. Сивов
Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6.
Модел. и анализ информ. систем, 2011, том 18:2,  129–138
В. А. Соколов, см. В. А. Непомнящий
Модел. и анализ информ. систем, 2011, том 18:4,  5–6
Г. В. Тарасов, Д. И. Харитонов, Е. А. Голенков
Об одном представлении функции в модели императивной программы, заданной сетями Петри
Модел. и анализ информ. систем, 2011, том 18:2,  18–38
Д. И. Харитонов, см. Г. В. Тарасов
Модел. и анализ информ. систем, 2011, том 18:2,  18–38
В. А. Цесько, см. М. А. Беляев
Модел. и анализ информ. систем, 2011, том 18:4,  45–55
В. А. Цесько, см. М. И. Глухих
Модел. и анализ информ. систем, 2011, том 18:4,  68–79
А. Г. Ченцов, см. А. М. Григорьев
Модел. и анализ информ. систем, 2011, том 18:3,  101–124
Н. В. Шилов, см. Е. В. Бодин
Модел. и анализ информ. систем, 2011, том 18:2,  113–128
Н. В. Шилов
Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ
Модел. и анализ информ. систем, 2011, том 18:4,  168–180
Г. П. Штерн, см. А. Н. Малков
Модел. и анализ информ. систем, 2011, том 18:2,  77–112
В. И. Январев
Модульная модель мультимедийного документа и особенности ее программной реализации
Модел. и анализ информ. систем, 2011, том 18:3,  125–143
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019