Список названий


 
Выпуск Название
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация   PDF (Rus)
П. Е. Ефимова
 
Том 17, № 4 (2010) Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography Аннотация   PDF (Rus)
, , , ,
 
Том 23, № 1 (2016) A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes Аннотация   PDF (Rus)
Александр Николаевич Максименко
 
Том 24, № 3 (2017) Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем Аннотация   PDF (Rus)
Вера Александровна Белошапко
 
Том 23, № 1 (2016) Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 26, № 2 (2019) eT-сводимость множеств Аннотация   PDF (Rus)
Роман Ревович Яруллин
 
Том 26, № 3 (2019) GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии Аннотация   PDF (Rus)
Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков
 
Том 14, № 1 (2007) K-функционалы и наилучшие кусочно-полиномиальные приближения Аннотация   PDF (Rus)
А. Н. Морозов
 
Том 19, № 2 (2012) Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике Аннотация   PDF (Rus)
Артем Дмитриевич Уваров
 
Том 26, № 3 (2019) NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа Аннотация   PDF (Rus)
Наталья Сергеевна Медведева, Александр Валерьевич Смирнов
 
Том 14, № 3 (2007) NumGRID, система для решения больших задач численного моделирования Аннотация   PDF (Rus)
Н. В. Малышкин
 
Том 25, № 3 (2018) Oб оптимальной интерполяции линейными функциями на n-мерном кубе Аннотация   PDF (Rus)
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация   PDF (Rus)
Александр Гурьевич Марчук
 
Том 14, № 2 (2007) SR-группы порядка 2npm с диэдральной 2-силовской подгруппой Аннотация   PDF (Rus)
В. В. Янишевский
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация   PDF (Rus)
Анатолий Александрович Сивов
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация   PDF (Rus)
Андрей Николаевич Петухов, Павел Львович Пилюгин
 
Том 22, № 3 (2015) АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ Аннотация   PDF (Rus)
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов
 
Том 19, № 5 (2012) Автоколебания решеток нелинейных элементов в опыте Скотта Аннотация   PDF (Rus)
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация   PDF (Rus)
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
 
Том 20, № 6 (2013) Автоматизация создания верифицированных тестовых сценариев на основе гидов Аннотация   PDF (Rus)
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация   PDF (Rus)
М. С. Ушакова, А. И. Легалов
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация   PDF (Rus)
Сергей Владимирович Зыкин
 
Том 24, № 4 (2017) Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов Аннотация   PDF (Rus)
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов
 
Том 26, № 3 (2019) Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков Аннотация   PDF (Rus)
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация   PDF (Rus)
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация   PDF (Rus)
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
 
Том 14, № 1 (2007) Автоморфизмы систем переходов Аннотация   PDF (Rus)
Ю. А. Белов
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация   PDF (Rus)
И. В. Коннов, В. А. Захаров
 
Том 23, № 3 (2016) Аделаида Борисовна Васильева (к девяностолетию со дня рождения) Аннотация   PDF (Rus)
В. Ф. Бутузов, Н. Н. Нефедов
 
Том 20, № 4 (2013) Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром Аннотация   PDF (Rus)
Евгений Алексеевич Толюпа
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация   PDF (Rus)
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация   PDF (Rus)
Иван Сергеевич Петров
 
Том 20, № 2 (2013) Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц Аннотация   PDF (Rus)
Иван Вадимович Губочкин
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация   PDF (Rus)
М. Г. Доррер
 
Том 20, № 2 (2013) Алгоритм эффективного оценивания энтропии Аннотация   PDF (Rus)   PDF (Eng)
Евгений Александрович Тимофеев
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация   PDF (Rus)
В. М. Деундяк, Ю. В. Косолапов
 
Том 26, № 4 (2019) Анализ безопасности контроллеров продольного движения во время набора высоты Аннотация   PDF (Eng)
Томас Баар, Хорст Шульте
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация   PDF (Rus)
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация   PDF (Rus)
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
 
Том 24, № 6 (2017) Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов Аннотация   PDF (Rus)
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация   PDF (Rus)
В. О. Голубенец
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация   PDF (Rus)   PDF (Eng)
С. А. Шершаков, В. А. Рубин
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация   PDF (Rus)
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
 
Том 26, № 2 (2019) Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации Аннотация   PDF (Rus)
Евгений Павлович Кубышкин, Владимир Александрович Куликов
 
Том 26, № 1 (2019) Анализ эффективности демультиплексирования транспортных потоков Аннотация   PDF (Rus)
Евгений Павлович Степанов
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация   PDF (Eng)
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация   PDF (Rus)
Н. А. Кудряшов, Д. И. Синельщиков
 
Том 22, № 2 (2015) Аппроксимационные свойства нильпотентных групп Аннотация   PDF (Rus)
Дмитрий Николаевич Азаров
 
Том 21, № 1 (2014) Асимметричное взаимодействие пары осцилляторов типа ФитцХью–Нагумо Аннотация   PDF (Rus)
Елена Александровна Марушкина
 
Том 16, № 3 (2009) Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли Аннотация   PDF (Rus)
Е. А. Тимофеев
 
Том 23, № 2 (2016) Асимптотика моментов симметричной свертки Бернулли Аннотация   PDF (Eng)
Е. А. Tимофеев
 
Том 22, № 5 (2015) Асимптотика моментов сингулярной функции Лебега Аннотация   PDF (Rus)
Е. А. Tимофеев
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация   PDF (Rus)
Е. А. Tимофеев
 
Том 19, № 1 (2012) Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии Аннотация   PDF (Rus)
Сергей Александрович Кащенко, Артем Сергеевич Полстьянов
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация   PDF (Rus)
Маргарита Александровна Калашникова
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 20, № 1 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I Аннотация   PDF (Rus)
Мария Валентиновна Бутузова
 
Том 20, № 2 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II Аннотация   PDF (Rus)
Мария Валентиновна Бутузова
 
Том 16, № 4 (2009) Асимптотика смещения оценки энтропии для мер Бернулли Аннотация   PDF (Rus)
Е. А. Тимофеев
 
Том 22, № 5 (2015) Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация   PDF (Rus)
А. А. Мельникова, Р. Л. Аргун
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация   PDF (Rus)
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов
 
Том 23, № 3 (2016) Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения Аннотация   PDF (Rus)
В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер
 
Том 24, № 1 (2017) Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 23, № 1 (2016) Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 23, № 1 (2016) Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация   PDF (Rus)
С. А. Кащенко
 
Том 23, № 3 (2016) Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы Аннотация   PDF (Rus)
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова
 
Том 24, № 5 (2017) Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве Аннотация   PDF (Rus)
Павел Николаевич Нестеров
 
Том 23, № 5 (2016) Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 24, № 3 (2017) Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред Аннотация   PDF (Rus)
Наталия Тимуровна Левашова, Ольга Александровна Николаева
 
Том 14, № 2 (2007) Асимптотическое представление решений систем линейных разностных уравнений и метод усреднения Аннотация   PDF (Rus)
П. Н. Нестеров
 
Том 25, № 1 (2018) Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым Аннотация   PDF (Rus)
Евгений Александрович Антипов, Наталия Тимуровна Левашова, Николай Николаевич Нефедов
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация   PDF (Rus)
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация   PDF (Rus)
Анна Шмилевна Непомнящая
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация   PDF (Rus)
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
 
1 - 75 из 669 результатов 1 2 3 4 5 6 7 8 9 > >>