| Выпуск | Название | |
| Том 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 > >> | |
