Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана
Очистить
3047 записей
   Статья
Рудаков И. В., Ребриков А. В.
   Неполная верификация сложных дискретных систем / Рудаков И. В., Ребриков А. В. // Информационные технологии. - 2011. - № 3. - С. 31-34.
   Статья
Рудаков И. В., Ребриков А. В.
   Проверка выполнения функциональных требований к алгоритму на основе структурной генерации модульных тестов / Рудаков И. В., Ребриков А. В. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2012. - Спец. вып. 2 : Программная инженерия. - С. 67-79.
   Статья
Рудаков И. В., Смирнов А. А.
   Исследование сложных дискретных систем на базе агентного метода / Рудаков И. В., Смирнов А. А. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2009. - № 3. - С. 33-40.
   Статья
Рудаков И. В., Шляева А. В.
   Моделирование входных данных для стохастических имитационных моделей систем / Рудаков И. В., Шляева А. В. // Информационные технологии. - 2006. - № 11. - С. 8-12.
   Статья
Рудаков И. В., Шляева А. В.
   Моделирование входных потоков данных для стохастических моделей дискретных систем / Рудаков И. В., Шляева А. В. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2008. - № 2. - С. 65-72.
Румшинский Л. З.
   Элементы теории вероятностей : учебное пособие для втузов / Румшинский Л. З. - 4-е изд., перераб. - М. : Наука, 1970. - 254 с. : ил. - (Избранные главы высшей математики для инженеров и студентов втузов).
19 экз.
Русина Л. Г.
   Вычислительная математика. Численные методы интегрирования и решения дифференциальных уравнений и систем : учебное пособие / Русина Л. Г. - СПб. : Лань, 2021. - 166 с. : рис., табл. - (Высшее образование). - Библиогр.: с. 163. - ISBN 978-5-8114-5518-8.
2 экз.
Русначенко Н. Л.
   Модели, методы и программные средства извлечения оценочных отношений на основе фреймовой базы знаний : 05. 13. 11-Математическое и программное обеспечение вычислеительных машин, комплексов и компьютерных сетей (технические науки) : автореф. дис... ктн / Русначенко Н. Л. ; МГТУ им. Н. Э. Баумана (Национальный исследовательский университет). - М., 2022. - 16 с.
2 экз.
Русначенко Н. Л.
   Модели, методы и программные средства извлечения оценочных отношений на основе фреймовой базы знаний : 05. 13. 11-Математическое и программное обеспечение вычислеительных машин, комплексов и компьютерных сетей (технические науки) : дис... ктн / Русначенко Н. Л. ; МГТУ им. Н. Э. Баумана (Национальный исследовательский университет). - М., 2022. - 166 л. : рис., табл. - Библиогр.: л. 144-154.
1 экз.
   Статья
Рыбаков А. Е.
   Моделирование структуры учебных курсов и подсистемы навигации для систем управления обучением, поддерживающих стандарт SCORM / Рыбаков А. Е. // Информационные технологии. - 2009. - № 3. - С. 77-81.
Страница: ... 225 226 227 228 229 230 231 232 233 ...