Сведения о ведущей организации (1150915)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Федеральное государственное учреждение "Федеральный исследовательский центр Институт прикладной математики нм. М.В. Келдыша Российской академии наук" Полное наименование организации в соответствии с уставом ИПМ нм, М.В. Келдыша РАН Сокращенное наименование организации в соответствии с уставом Почтовый индекс, адрес организации 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 .

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов диссертации