unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

   Запрос: a001="BY-SEK-ar1821202"
   Записи: 1 - 1 из 1 (стр. 1 из 1)

Сортировать по: 
Дата Автор Заглавие
2010 Ключников, Илья Григорьевич Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Ключников Илья Григорьевич ; [Институт прикладной математики им. М. В. Келдыша РАН]
Записей на стр.