|
Именной указатель, 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
|
|
|
Пользовательское соглашение