Поиск :
Личный кабинет :
Электронный каталог: Шипов, А. А. - Исследование и разработка семантических методов анализа распределенных программ
Шипов, А. А. - Исследование и разработка семантических методов анализа распределенных программ
Доступно
1 из 1
1 из 1
Автореферат
Автор: Шипов, А. А.
Исследование и разработка семантических методов анализа распределенных программ : автореф. дис. ... канд. технических наук: 05.13.11
Издательство: Российский гос. социальный ун-т, 2016 г.
ISBN отсутствует
Автор: Шипов, А. А.
Исследование и разработка семантических методов анализа распределенных программ : автореф. дис. ... канд. технических наук: 05.13.11
Издательство: Российский гос. социальный ун-т, 2016 г.
ISBN отсутствует
Автореферат
Автореф. Ш634
Шипов, А. А.
Исследование и разработка семантических методов анализа распределенных программ: автореф. дис ... канд. технических наук: 05.13.11 / А. А. Шипов. – М.: Российский гос. социальный ун-т, 2016. – 20 с.
общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Библиотека НИУ ВШЭ ф-л удаленное книгохранение Чит.зал (Мясницкая): Distant book storage Reading hall РК Научный Автореф. Ш634
Автореф. Ш634
Шипов, А. А.
Исследование и разработка семантических методов анализа распределенных программ: автореф. дис ... канд. технических наук: 05.13.11 / А. А. Шипов. – М.: Российский гос. социальный ун-т, 2016. – 20 с.
общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Библиотека НИУ ВШЭ ф-л удаленное книгохранение Чит.зал (Мясницкая): Distant book storage Reading hall РК Научный Автореф. Ш634