TT Lite: a supercompiler for Martin-Löf's type theory
1883
Купить
Краткое содержание:
Экранизация книги

TT Lite: a supercompiler for Martin-Löf's type theory

Автор:
Ključnikov Il'ja Grigor'evič; Romanenko Sergej A
Год:
2013
Язык:
Английский
Страниц:
28
Заглавие серии:
Препринт / Keldysh inst. of appl. mathematics, Russ. acad. of sciences ; N 73 за 2013 г. [2071-2898] ; Препринты ИПМ им. М.В. Келдыша = Keldysh institute preprints
Описание:
Ključnikov I. G., Romanenko S. A. TT Lite: a supercompiler for Martin-Löf's type theory / Ilya G. Klyuchnikov, Sergei A. Romanenko. - Moscow : ИПМ РАН, 2013. - 28 с. : ил. ; 21 см. - (Препринт / Keldysh inst. of appl. mathematics, Russ. acad. of sciences ; N 73 за 2013 г. [2071-2898]). - (Препринты ИПМ им. М.В. Келдыша = Keldysh institute preprints). - Библиогр.: с. 17-18 (24 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Компиляторы(компьют.) → Теория
Примечания:
На обороте тит. л.: TT Lite: суперкомпилятор для теории типов Мартина-Лефа / Илья Ключников, Сергей Романенко . - На обл. надзаг. на рус. яз. . - Рез на рус. яз. . - Библиогр.: с. 17-18 (24 назв.)
Дата создания:
2021-07-01 18:13:52
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме TT Lite: a supercompiler for Martin-Löf's type theory

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
TT Lite: a supercompiler for Martin-Löf's type theory
Опросы
Есть ли иллюстрации в этой книге?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация TT Lite: a supercompiler for Martin-Löf's type theory

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. І.С. Тургенєва
Харьковская область, Харьков, Слободской район
Киргизская, 9а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 11:00-19:00
Пт: 10:00-18:00
Facebook:  https://facebook.com/bibliotekaimturgeneva
 +380 (572) 52-81-28
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №259
Москва, Московский, Московский поселение, 1-й м-н
1-й микрорайон, 49
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
www.newmoslib.ru/sample-page/b259
Вконтакте:  https://vk.com/mos.lib.club
Facebook:  https://facebook.com/biblioteka259
 +7 (499) 146-90-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная библиотека, Уральское отделение РАН
Свердловская область, Екатеринбург городской округ, Екатеринбург, Кировский район, Втузгородок
Софьи Ковалевской, 22
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-16:00
cnb.uran.ru
 +7 (343) 369-33-44 +7 (343) 374-49-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Щекинская межпоселенческая детская библиотека
Тульская область, Щёкинский район, Щёкино
Ленина, 15
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
edfond.ru
Вконтакте:  https://vk.com/club88008625
 +7 (48751) 4-81-87
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.А. Шолохова
Новосибирская область, Новосибирск городской округ, Новосибирск, Советский район, Нижняя зона Академгородка м-н
Мусы Джалиля, 5
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
lomonosov.lib54.ru
 +7 (383) 332-13-57
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Грина
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район, Мира м-н
Бетонная, 7
Расположение на карте
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (383) 353-48-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детско-юношеская модельная бибилиотека
Республика Башкортостан, Туймазинский район, Туймазы
Ленина проспект, 2
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
tuimazimcb.ru
 +7 (34782) 5-18-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека им. М.А. Шолохова
Санкт-Петербург, Санкт-Петербург, Кировский район, МО №27 "Дачное"
Лёни Голикова, 31
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
www.kircbs.ru
Вконтакте:  https://vk.com/club70631680
 +7 (812) 752-25-11 +7 (812) 752-97-69 +7 (812) 752-54-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Курганская областная универсальная научная библиотека им. А.К. Югова
Курганская область, Курган городской округ, Курган, Центральный
Комсомольская, 30
Расположение на карте
июнь-август: сб выходной; санитарный день: последний вт месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
kounb.kurganobl.ru
Вконтакте:  https://vk.com/kounb45ygova
Facebook:  https://facebook.com/ygova
 +7 (3522) 46-62-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, МБУК
Владимирская область, Владимир городской округ, Владимир, Октябрьский район, Заклязьменский м-н
Центральная (Заклязьменский), 11а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-14:30 15:00-18:30
Вт: 10:00-14:30 15:00-18:30
Ср: 10:00-14:30 15:00-18:30
Чт: 10:00-14:30 15:00-18:30
Вс: 10:00-14:30 15:00-18:30
biblioteka33.ru
 +7 (4922) 42-53-96
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. І.С. Тургенєва
Харьковская область, Харьков, Слободской район
Киргизская, 9а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 11:00-19:00
Пт: 10:00-18:00
Facebook:  https://facebook.com/bibliotekaimturgeneva
 +380 (572) 52-81-28
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №259
Москва, Московский, Московский поселение, 1-й м-н
1-й микрорайон, 49
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
www.newmoslib.ru/sample-page/b259
Вконтакте:  https://vk.com/mos.lib.club
Facebook:  https://facebook.com/biblioteka259
 +7 (499) 146-90-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная библиотека, Уральское отделение РАН
Свердловская область, Екатеринбург городской округ, Екатеринбург, Кировский район, Втузгородок
Софьи Ковалевской, 22
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-16:00
cnb.uran.ru
 +7 (343) 369-33-44 +7 (343) 374-49-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Щекинская межпоселенческая детская библиотека
Тульская область, Щёкинский район, Щёкино
Ленина, 15
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
edfond.ru
Вконтакте:  https://vk.com/club88008625
 +7 (48751) 4-81-87
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.А. Шолохова
Новосибирская область, Новосибирск городской округ, Новосибирск, Советский район, Нижняя зона Академгородка м-н
Мусы Джалиля, 5
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
lomonosov.lib54.ru
 +7 (383) 332-13-57
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.С. Грина
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район, Мира м-н
Бетонная, 7
Расположение на карте
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (383) 353-48-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детско-юношеская модельная бибилиотека
Республика Башкортостан, Туймазинский район, Туймазы
Ленина проспект, 2
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
tuimazimcb.ru
 +7 (34782) 5-18-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека им. М.А. Шолохова
Санкт-Петербург, Санкт-Петербург, Кировский район, МО №27 "Дачное"
Лёни Голикова, 31
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
www.kircbs.ru
Вконтакте:  https://vk.com/club70631680
 +7 (812) 752-25-11 +7 (812) 752-97-69 +7 (812) 752-54-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Курганская областная универсальная научная библиотека им. А.К. Югова
Курганская область, Курган городской округ, Курган, Центральный
Комсомольская, 30
Расположение на карте
июнь-август: сб выходной; санитарный день: последний вт месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
kounb.kurganobl.ru
Вконтакте:  https://vk.com/kounb45ygova
Facebook:  https://facebook.com/ygova
 +7 (3522) 46-62-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, МБУК
Владимирская область, Владимир городской округ, Владимир, Октябрьский район, Заклязьменский м-н
Центральная (Заклязьменский), 11а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-14:30 15:00-18:30
Вт: 10:00-14:30 15:00-18:30
Ср: 10:00-14:30 15:00-18:30
Чт: 10:00-14:30 15:00-18:30
Вс: 10:00-14:30 15:00-18:30
biblioteka33.ru
 +7 (4922) 42-53-96
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.