Сведения о ведущей организации (Трассирующая нормализация)
Описание файла
Файл "Сведения о ведущей организации" внутри архива находится в папке "Трассирующая нормализация". PDF-файл из архива "Трассирующая нормализация", который расположен в категории "". Всё это находится в предмете "физико-математические науки" из Аспирантура и докторантура, которые можно найти в файловом архиве СПбГУ. Не смотря на прямую связь этого архива с СПбГУ, его также можно найти и в других разделах. , а ещё этот архив представляет собой кандидатскую диссертацию, поэтому ещё представлен в разделе всех диссертаций на соискание учёной степени кандидата физико-математических наук.
Просмотр PDF-файла онлайн
Текст из PDF
Федеральное государственное учреждение "Федеральный исследовательский центр Институт прикладной математики нм. М.В. Келдыша Российской академии наук" Полное наименование организации в соответствии с уставом ИПМ нм, М.В. Келдыша РАН Сокращенное наименование организации в соответствии с уставом Почтовый индекс, адрес организации 125047, г. Москва, Миусская пл., д.4 Веб-сайт ьььры~~у,$гаьмц +7 1499) 250-79-86 Телефон ойсе®йе16узЬ.ги Адрес здектронной почты Список основных публикаций работников структурного подразделения, в котором будет готовиться отзыв, по теме диссертации в рецензируемых научных изданиях за последние 5 лет (не более 15 публикаций) 1. Гречаннк С.А.
ПОЛИПРОГРАММЫ КАК ПРЕДСТАВЛЕНИЕ МНОЖЕСТВ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ И ПРЕОБРАЗОВАНИЯ НАД НИМИ. Препрннты ИПМ им. М,В. Келдыша. 2017. № 5. С. 1-31. 2. бгесЬап1к 8. 1ЫРЫСТ1НЕ РКОНЕК ВАБЕ13 ОЫ ЕОЫАЫТУ БАТЫКАТ1ОЫ РОй А ЬАЕУ Р1ЛЧСТ1ОЫАЬ ЬАЫОЫАОЕ. Ьесшге Негев ш Ссяпршег Бс1епсе. 2015. Т. 8974. С. 127-141.
3. Гречаннк С.А. ДОКАЗАТЕЛЬСТВО СВОЙСТВ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ МЕТОДОМ НАСЫЩЕНИЯ РАВЕНСТВАМИ. Программирование. 2015. № 3. С. 44-61. 4. К!уисйпйкот 1., Котапепко 8. СЕКТ1РУПЧО ЯЗРЕКСОМР1ЬАТ1ОЫ РОК МАКТ11з-ЬбРБ ТУРЕ ТНЕОКУ, 1.есгше Но1ез 1п Сошрп1ег Бс1епсе. 2015. Т. 8974. С. 186-200. 5. Ключников И.Г., Романенко С.А. СУПЕРКОМПИЛЯЦИЯ ДЛЯ ТЕОРИИ ТИПОВ МАРТИНА-ЛЙФА. Программирование. 2015. № 3.
С. 73- 87. 6. Левин В.К., Четверушкин Б.Н,, Елизаров Г.С., Горбунов В.С., Лацис А.О„Корнеев В.В,, Соколов А.А., Андрюшин Д,В., Климов Ю.А. КОММУНИКАЦИОННАЯ СЕТЬ МВС-ЭКСПРЕСС. Информационные технологии и вычислительные системы. 2014. № 1. С. 10-24. 7, бгесИап1к Б.А., К!уцсЬп1кот 1,б., йошапепко Б.А. БТАОЕР МЫЬТ1-ВЕЯЛ.Т БЫРЕНСОМР1 АТ1ОН: РП.ТЕК!йб ВЕРОНЕ РКОИ/С~~~~~~, П ИПМ Сведения о ведущей организации по диссертационной работе Березуна Д.А, на тему «Трассирующая нормализация», представленной на соискание ученой степени кандидата физико-математических наук по специальности 05,13,11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей им.
М.В. Келдыша. 2013, № 70. С, 1-28. 8. К1уосЬпйот 1,О„Кошапеп1со Б.А. ТТ ЫТЕ: А 813РЕКСОМР11.ЕК РОК МАКТ1Н-ЬоР'Б ТУРЕ ТНЕОКУ. Препринты ИПМ им. М.В. Келдыша. 2013. № 73, С. 1-28. 9. Богословский Н.А., Климов Ю.А., Савельев А,В., Шалыга Д,К. РАЗРАБОТКА ЭКСПЕРИМЕНТАЛЬНОГО КОМПЛЕКСА СУПЕРКОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ НА ОСНОВЕ КОДА НА ЯЗЫКЕ МАТЬАВ. Программные системы: теория и приложения. ~ 2013. Т, 4, № 2 (16). С, 21-42, Верно: Директор ИПМ им.
М.В.Келдыша РАН А. И. Антекарев 20 .