СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Запись в MARC-формате
копировать MARC-запись |
=LDR 00000cx\\a2200229\\\45\\
=001 BY-SEK-ar1772096
=005 20221005123627.1
=100 \\$a20100928arusy50\\\\\\ca0
=101 \\$arus$aeng
=102 \\$aRU
=120 \\$aba
=152 \\$apsbo$bBY-auth
=106 \\$a0
=200 \1$aКорныхин$bЕ. В.$gЕвгений Валерьевич$cкандидат физико-математических наук$fрод. 1984
=340 \\$aМесто рождения: г. Череповец, Вологодская область, Россия. Математик, специалист в области математического и программного обеспечения вычислительных машин, комплексов и компьютерных сетей. Кандидат физико-математических наук. Окончил МГУ им. М. В. Ломоносова (факультет вычислительной математики и кибернетики, 2006; аспирантура, 2009). С 2007 – в Институте системного программирования РАН, научный сотрудник, одновременно с 2010 – в МГУ им. М. В. Ломоносова, доцент кафедры системного программирования (информ. на 2022 г.).
=340 \\$aНаучные интересы: формальные методы разработки программ; методы спецификации и верификации программ; методы автоматизации тестирования программ и микропроцессоров; технологии программирования.
=400 \1$8ruseng$7ca0yba0b$aKornykhin$bE.$gEugene$cкандидат физико-математических наук$fрод. 1984
=801 \2$aBY$bBY-HM0000$c20221005
=801 \0$aBY$bSEK$c20100928
=810 \\$aПостроение тестовых программ для проверки подсистем управления памяти микропроцессоров : автореферат диссертации ... кандидата физико-математических наук : 05.13.11 / Корныхин Евгений Валерьевич. ― Москва, 2010.
=856 4\$uhttps://cs.msu.ru/persons/kornykhin-e-v$zСайт факультета вычислительной математики и кибернетики МГУ им. М. В. Ломоносова.$zДата обращения: 05.10.2022.
=999 \\$g3427 NLB-NDARD$t20221005
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |