Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация  PDF (Rus)  похожие документы
М. Л. Громов, Н. В. Шабалдина
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
 
Том 14, № 2 (2007) Однородные супермногообразия с ретрактом CP (1|4, k1k2 11) Аннотация  PDF (Rus)  похожие документы
М. А. Башкин, Л. И. Хабадзе
 
Том 16, № 3 (2009) Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева, М. Л. Мячин
 
Том 14, № 4 (2007) О теоремах Р. Радо и Д. Уотсона Аннотация  PDF (Rus)  похожие документы
В. Л. Дольников
 
Том 23, № 5 (2016) Численное исследование начально-краевой задачи Неймана для сингулярно возмущенного параболического уравнения Аннотация  PDF (Rus)  похожие документы
Л. П. Шишкина
 
Том 13, № 1 (2006) Об одном подходе к различению элементов из больших совокупностей традиционных систем символов Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, С. Л. Назарычев
 
Том 23, № 3 (2016) Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения Аннотация  похожие документы
М. Стайнс
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
 
Том 14, № 1 (2007) Минимальные проекторы и максимальные симплексы Аннотация  PDF (Rus)  похожие документы
М. В. Невский
 
Том 14, № 3 (2007) Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
М. В. Невский
 
Том 16, № 3 (2009) Однородные и четно-однородные супермногообразия с ретрактом CP(1|4 kk20) при к >= 2 Аннотация  PDF (Rus)  похожие документы
М. А. Башкин
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
 
Том 17, № 3 (2010) Математические модели экономических систем с учетом необратимости протекающих в них процессов Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация  PDF (Rus)  похожие документы
М. С. Каряева
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
 
Том 23, № 5 (2016) Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости Аннотация  PDF (Rus)  похожие документы
М. А. Терентьев
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
 
Том 16, № 4 (2009) Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты Аннотация  PDF (Rus)  похожие документы
А. В. Ходунин, Л. Н. Казаков
 
Том 22, № 4 (2015) О конечных группах с большой степенью неприводимого характера Аннотация  PDF (Rus)  похожие документы
Л. С. Казарин, С. С. Поисеева
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
А. А. Мельникова, Р. Л. Аргун
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
 
Том 23, № 3 (2016) Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация  похожие документы
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
 
Том 23, № 2 (2016) Криптосистема на индуцированных групповых кодах Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
 
Том 23, № 4 (2016) Вероятностный анализ систем организации турниров Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин, Ал. А. Ахременков
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
 
Том 16, № 3 (2009) О спектральной задаче, возникающей в механике манипуляционных роботов Аннотация  PDF (Rus)  похожие документы
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин
 
Том 22, № 5 (2015) Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу Аннотация  PDF (Rus)  похожие документы
В. Н. Белых, М. И. Болотов, Г. В. Осипов
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
 
Том 23, № 3 (2016) Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы Аннотация  PDF (Rus)  похожие документы
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова
 
Том 17, № 1 (2010) Тезаурус как инструмент поэтологии Аннотация  PDF (Rus)  похожие документы
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
 
1 - 40 из 40 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)