356 записей
Статья в журнале
Каращук С. В., Сенокосов П. И., Чухраев И. В.
Разработка алгоритма функционирования программно-математического комплекса проверки интерфейсов пульта оператора АРЛС / Каращук С. В., Сенокосов П. И., Чухраев И. В. // Электромагнитные волны и электронные системы. - 2017. - Т. 22, № 3. -С. 5-10 .
Разработка алгоритма функционирования программно-математического комплекса проверки интерфейсов пульта оператора АРЛС / Каращук С. В., Сенокосов П. И., Чухраев И. В. // Электромагнитные волны и электронные системы. - 2017. - Т. 22, № 3. -
Карпов Ю. Г.
Теория и технология программирования. Основы построения трансляторов : учеб. пособие для вузов / Карпов Ю. Г. - Санкт-Петербург : БХВ-Петербург, 2005. - 270 с. : ил. - (Учебное пособие). - Библиогр.:с.267-268 . - ISBN 5-94157-285-9 .
Теория и технология программирования. Основы построения трансляторов : учеб. пособие для вузов / Карпов Ю. Г. - Санкт-Петербург : БХВ-Петербург, 2005. - 270 с. : ил. - (Учебное пособие). - Библиогр.:
Аналитическое описание
Кваша В. С., Скворцов М. Ю., Ильясов Р. Д.
Использование методов технического зрения, основанных на нейросетевом подходе для анализа спутниковых изображений / Кваша В. С., Скворцов М. Ю., Ильясов Р. Д. // Актуальные вопросы состояния и перспектив развития вооружения, военной и специальной техники воздушно-космических сил : сборник научных трудов 5-ой Всероссийской научно-практической конференции Военного учебного центра МГТУ им. Н. Э. Баумана, Москва, 28 апреля 2023 года / МГТУ им. Н. Э. Баумана. - М., 2023. -С. 136-145 .
Использование методов технического зрения, основанных на нейросетевом подходе для анализа спутниковых изображений / Кваша В. С., Скворцов М. Ю., Ильясов Р. Д. // Актуальные вопросы состояния и перспектив развития вооружения, военной и специальной техники воздушно-космических сил : сборник научных трудов 5-ой Всероссийской научно-практической конференции Военного учебного центра МГТУ им. Н. Э. Баумана, Москва, 28 апреля 2023 года / МГТУ им. Н. Э. Баумана. - М., 2023. -
Кепнер Дж.
Параллельное программирование в среде MATLAB для многоядерных и многоузловых вычислительных машин : [учеб. пособие] : пер. / Кепнер Дж. ; науч. ред. Дубров Д. В. - Москва : Изд-во МГУ, 2013. - 292 с. : ил. - (Суперкомпьютерное образование). - Библиогр.в конце глав, с.289 . - ISBN 978-5-211-06428-7 .
Параллельное программирование в среде MATLAB для многоядерных и многоузловых вычислительных машин : [учеб. пособие] : пер. / Кепнер Дж. ; науч. ред. Дубров Д. В. - Москва : Изд-во МГУ, 2013. - 292 с. : ил. - (Суперкомпьютерное образование). - Библиогр.
Керниган Б. В., Пайк Р.
Практика программирования / Керниган Б. В., Пайк Р. ; пер. С англ. под ред. И. В. Романовского. - Санкт-Петербург : Невский Диалект, 2001. - 380 с. -ISBN 5-7940-0058-9 .
Практика программирования / Керниган Б. В., Пайк Р. ; пер. С англ. под ред. И. В. Романовского. - Санкт-Петербург : Невский Диалект, 2001. - 380 с. -
Керниган Б., Пайк Р.
Практика программирования : пер. с англ. / Керниган Б., Пайк Р. ; пер. Бродовой В. Л. - Москва : Вильямс, 2004. - 287 с. - Библиогр.в конце гл. - ISBN 5-8459-0679-2 .
Практика программирования : пер. с англ. / Керниган Б., Пайк Р. ; пер. Бродовой В. Л. - Москва : Вильямс, 2004. - 287 с. - Библиогр.
Кларк Э. М., Грамберг О., Пелед Д.
Верификация моделей программ: Model Checking : пер. с англ. / Кларк Э. М., Грамберг О., Пелед Д. ; ред. пер. Смелянского Р. ; пер. Захаров В., Кончаков Р., Царьков Д. - Москва : Изд-во Московского центра непрерывного математического образования, 2002. - 416 с. - Библиогр.:с.377-399 . - ISBN 5-94057-054-2 .
Верификация моделей программ: Model Checking : пер. с англ. / Кларк Э. М., Грамберг О., Пелед Д. ; ред. пер. Смелянского Р. ; пер. Захаров В., Кончаков Р., Царьков Д. - Москва : Изд-во Московского центра непрерывного математического образования, 2002. - 416 с. - Библиогр.:
Статья в журнале
Князев Е. Г., Шопырин Д. Г.
Автоматизированная классификация изменений программного кода методами многомерного статистического анализа / Князев Е. Г., Шопырин Д. Г. // Информационные технологии. - 2008. - № 5. -С. 48-53 .
Автоматизированная классификация изменений программного кода методами многомерного статистического анализа / Князев Е. Г., Шопырин Д. Г. // Информационные технологии. - 2008. - № 5. -
Статья в журнале
Козеева О. О., Чухраев И. В., Родионов А. В.
Разработка на языке Python модуля поиска подструктур в химических соединениях / Козеева О. О., Чухраев И. В., Родионов А. В. // Электромагнитные волны и электронные системы. - 2018. - Т. 23, № 3. -С. 57-61 .
Разработка на языке Python модуля поиска подструктур в химических соединениях / Козеева О. О., Чухраев И. В., Родионов А. В. // Электромагнитные волны и электронные системы. - 2018. - Т. 23, № 3. -
