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

Рудаков И. А.
   Периодические колебания неоднородной струны с закрепленными концами / Рудаков И. А. - DOI 10.18698/1812-3368-2015-4-3-14 // Вестник МГТУ им. Н. Э. Баумана. Сер. Естественные науки. - 2015. - № 4. - С. 3-14.

Рудаков И. А., Федоровский К. Ю.
   Алгебра и элементы тензорного анализа : учебно-методическое пособие / Рудаков И. А., Федоровский К. Ю. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2021. - 134 с. - Библиогр.: с.131. - ISBN 978-5-7038-5684-0.

Рудаков И. В., Гурин Р. Е.
   Разработка и исследование синтетического метода верификации программы с помощью SMT-решателей / Рудаков И. В., Гурин Р. Е. - DOI 10.18698/0236-3933-2016-4-49-64 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2016. - № 4. - С. 49-64.

Рудаков И. В., Давудпур М.
   Алгоритм декомпозиции формальной модели функционального блока дискретного устройства / Рудаков И. В., Давудпур М. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2006. - № 1. - С. 90-98.

Рудаков И. В., Пащенкова А. В.
   Иерархический метод анализа функционирования программного обеспечения на основе сети Петри / Рудаков И. В., Пащенкова А. В. - DOI 10.18698/2308-6033-2013-6-779 // Инженерный журнал: наука и инновации. - 2013. - № 6. - П.н. 16.

Рудаков И. В., Пащенкова А. В.
   Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри / Рудаков И. В., Пащенкова А. В. - DOI 10.18698/2308-6033-2013-2-538 // Инженерный журнал: наука и инновации. - 2013. - № 2. - П.н. 12.

Рудаков И. В.
   Программный комплекс иерархического исследования сложных дискретных структур / Рудаков И. В. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2012. - № 1. - С. 121-124.

Рудаков И. В., Ребриков А. В.
   Масштабирование алгоритмов для автоматической генерации модульных тестов / Рудаков И. В., Ребриков А. В. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2011. - № 4. - С. 119-124.

Рудаков И. В., Ребриков А. В.
   Проверка выполнения функциональных требований к алгоритму на основе структурной генерации модульных тестов / Рудаков И. В., Ребриков А. В. - DOI 10.18698/2308-6033-2012-1-16 // Инженерный журнал: наука и инновации. - 2012. - № 1. - П.н. 6.

Рудаков И. В., Рудакова О. С.
   Оценка организации информационного процесса в системах массового обслуживания / Рудаков И. В., Рудакова О. С. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 1996. - № 2. - С. 111-116.