Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
3058
Купить
Краткое содержание:
Экранизация книги

Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Автор:
Ключников Илья Григорьевич
Год:
2010
Язык:
Русский
Страниц:
20
Коллекции:
Авторефераты
Описание:
Ключников И. Г. Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей> / Ключников Илья Григорьевич; [Ин-т прикладной математики им. М. В. Келдыша РАН]. - Москва, 2010. - 20 с. ; 21 см. - Библиогр.: с. 20 (10 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 20 (10 назв.)
ББК:
22.19
Скачать:
Просмотр и скачивание в формате PDF
Дата создания:
2019-09-27 16:23:41
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Заказать реферат Узнать стоимость Скачать пример
Лекция 10: Структура курса
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/1067/221/lecture/25450.
НОУ ИНТУИТ
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Опросы
У нее есть электронная версия?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Лекция 22: Формальная семантика языков функционального программирования
Классификация формальных семантик.Теория доменов. Теорема о неподвижной точке. Семантика для простейшего...
НОУ ИНТУИТ
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10
Павлодарская область, Павлодар
Теплова, 38/2
Расположение на карте
июнь-август: вт-пт 10:00-19:00; сб 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
 +7 (7182) 60-49-52
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Павлодарская область, с. Заря
Маметовой, 1
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 09:00-13:00 14:30-18:30
Ср: 09:00-13:00 14:30-18:30
Чт: 09:00-13:00 14:30-18:30
Пт: 09:00-13:00 14:30-18:30
Сб: 09:00-13:00 14:30-18:30
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11
Самарская область, Самара городской округ, Самара, Советский район
Аэродромная, 58
Расположение на карте
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
 +7 (846) 268-53-30
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Экономическое
Краснодарский край, Крымский район, с. Экономическое
Шоссейная, 85а
Расположение на карте
Вт: 11:00-17:00
Ср: 11:00-17:00
Чт: 11:00-14:00
Пт: 11:00-17:00
Сб: 11:00-17:00
Вс: 11:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №9
Ярославская область, Ярославский район, Ярославль, Заволжский район, Нижний посёлок
Кавказская, 29
Расположение на карте
сентябрь-май: пн-пт 9:00-18:00; сб 9:00-17:00
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
csdbf9.ru
 +7 (4852) 36-24-81 +7 (4852) 24-95-19
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Л.Н. Толстого
Новосибирская область, Новосибирск городской округ, Новосибирск, Октябрьский район, Восход ж/м
Восход, 26
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 12:00-18:00
cbstolstoy.ru
Вконтакте:  https://vk.com/cbstolstoy
Youtube:  https://youtube.com/user/CbsTolstoyNsk
 +7 (383) 266-93-01 +7 (383) 266-95-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Российская национальная библиотека
Санкт-Петербург, Санкт-Петербург, Московский район, МО №47 "Пулковский меридиан"
Московский проспект, 165 к2
Расположение на карте
зимний период: пн-пт 9:00-21:00, сб-вс 11:00-19:00; санитарный день: последний вт месяца
Пн: 13:00-21:00
Вт: 09:00-17:00
Ср: 13:00-21:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
Вс: 09:00-17:00
www.nlr.ru
Вконтакте:  https://vk.com/publichka_spb
Инстаграм:  https://instagram.com/national_library_of_russia
Facebook:  https://facebook.com/nlr.ru
Твиттер:  https://twitter.com/@nlr_library
Youtube:  https://youtube.com/user/nlrvideo
 +7 (812) 415-97-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Владимирская областная научная библиотека им. М. Горького
Владимирская область, Владимир городской округ, Владимир, Ленинский район
Дворянская, 3
Расположение на карте
сентябрь-май: пн-чт 10:00-20:00; санитарный день: последний пн месяца
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.library.vladimir.ru
Вконтакте:  https://vk.com/library.vladimir
Facebook:  https://facebook.com/library33.vladimir
Одноклассники:  https://ok.ru/group/52485452333258
Твиттер:  https://twitter.com/@reglib33
 +7 (4922) 45-14-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Башкирская Республиканская специальная библиотека для слепых, Стерлитамакский филиал
Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Западный
Свердлова, 71
Расположение на карте
санитарный день: последний четверг месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-13:00 14:00-17:00
 +7 (3473) 43-83-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. Веры Чаплиной
Омская область, Омск городской округ, Омск, Ленинский округ
Новокирпичная, 5
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 10:00-18:00; вс 9:00-17:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.lib.omsk.ru
Вконтакте:  https://vk.com/lovebooks
 +7 (3812) 42-73-67
Показать номер
Рецензии и отзывы
Егор Петров
Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>. М., 2005. С. 4. (См. также: Сысоев А. Т.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10
Павлодарская область, Павлодар
Теплова, 38/2
Расположение на карте
июнь-август: вт-пт 10:00-19:00; сб 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
 +7 (7182) 60-49-52
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Павлодарская область, с. Заря
Маметовой, 1
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 09:00-13:00 14:30-18:30
Ср: 09:00-13:00 14:30-18:30
Чт: 09:00-13:00 14:30-18:30
Пт: 09:00-13:00 14:30-18:30
Сб: 09:00-13:00 14:30-18:30
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11
Самарская область, Самара городской округ, Самара, Советский район
Аэродромная, 58
Расположение на карте
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
 +7 (846) 268-53-30
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Экономическое
Краснодарский край, Крымский район, с. Экономическое
Шоссейная, 85а
Расположение на карте
Вт: 11:00-17:00
Ср: 11:00-17:00
Чт: 11:00-14:00
Пт: 11:00-17:00
Сб: 11:00-17:00
Вс: 11:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №9
Ярославская область, Ярославский район, Ярославль, Заволжский район, Нижний посёлок
Кавказская, 29
Расположение на карте
сентябрь-май: пн-пт 9:00-18:00; сб 9:00-17:00
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
csdbf9.ru
 +7 (4852) 36-24-81 +7 (4852) 24-95-19
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Л.Н. Толстого
Новосибирская область, Новосибирск городской округ, Новосибирск, Октябрьский район, Восход ж/м
Восход, 26
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 12:00-18:00
cbstolstoy.ru
Вконтакте:  https://vk.com/cbstolstoy
Youtube:  https://youtube.com/user/CbsTolstoyNsk
 +7 (383) 266-93-01 +7 (383) 266-95-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Российская национальная библиотека
Санкт-Петербург, Санкт-Петербург, Московский район, МО №47 "Пулковский меридиан"
Московский проспект, 165 к2
Расположение на карте
зимний период: пн-пт 9:00-21:00, сб-вс 11:00-19:00; санитарный день: последний вт месяца
Пн: 13:00-21:00
Вт: 09:00-17:00
Ср: 13:00-21:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
Вс: 09:00-17:00
www.nlr.ru
Вконтакте:  https://vk.com/publichka_spb
Инстаграм:  https://instagram.com/national_library_of_russia
Facebook:  https://facebook.com/nlr.ru
Твиттер:  https://twitter.com/@nlr_library
Youtube:  https://youtube.com/user/nlrvideo
 +7 (812) 415-97-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Владимирская областная научная библиотека им. М. Горького
Владимирская область, Владимир городской округ, Владимир, Ленинский район
Дворянская, 3
Расположение на карте
сентябрь-май: пн-чт 10:00-20:00; санитарный день: последний пн месяца
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.library.vladimir.ru
Вконтакте:  https://vk.com/library.vladimir
Facebook:  https://facebook.com/library33.vladimir
Одноклассники:  https://ok.ru/group/52485452333258
Твиттер:  https://twitter.com/@reglib33
 +7 (4922) 45-14-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Башкирская Республиканская специальная библиотека для слепых, Стерлитамакский филиал
Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Западный
Свердлова, 71
Расположение на карте
санитарный день: последний четверг месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-13:00 14:00-17:00
 +7 (3473) 43-83-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. Веры Чаплиной
Омская область, Омск городской округ, Омск, Ленинский округ
Новокирпичная, 5
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 10:00-18:00; вс 9:00-17:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.lib.omsk.ru
Вконтакте:  https://vk.com/lovebooks
 +7 (3812) 42-73-67
Показать номер
Информация от пользователей
Азат Нагирян
Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей> Выявление и доказательство свойств функциональных программ методами суперкомпиляции : диссертация на соискание ученой степени кандидата физ.-мат. наук : специальности 05.13.11, 05.13.01 / Г. А. Смирнов ; науч. рук. В. И. Бабайцев. - Пермь, 2014. - 24 с. : ил. На правах рукописи Актуальность работы. Функциональный анализ приложений, реализуемых в современных операционных системах, как правило, базируется на использовании функциональных языков программирования.
Прикрепить файл
Книга находятся в категориях.