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