Элементы теоретического программирования: теория типов : учебное пособие к курсу "Теоретические основы программирования". Ч. 2
681
Купить
Краткое содержание:
Экранизация книги

Элементы теоретического программирования: теория типов : учебное пособие к курсу "Теоретические основы программирования". Ч. 2

Год:
2016
isbn:
978-5-00105-070-4
Язык:
Русский
Описание:
Элементы теоретического программирования: теория типов : учебное пособие к курсу "Теоретические основы программирования" / И.А. Кудрявцева, М.В. Швецкий; Российский государственный педагогический университет им. А.И. Герцена. Ч. 2:. - 2016. - 575 с
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Дата создания:
2021-03-15 12:50:31
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Элементы теоретического программирования: теория типов : учебное пособие к курсу "Теоретические основы программирования". Ч. 2

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Элементы теоретического программирования: теория типов : учебное пособие к курсу "Теоретические основы программирования". Ч. 2
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация Элементы теоретического программирования: теория типов : учебное пособие к курсу "Теоретические основы программирования". Ч. 2

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, МБУК
Республика Коми, Сыктывкар городской округ, Сыктывкар, Краснозатонский
Ломоносова, 48а
Расположение на карте
санитарный день: последний вт месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вс: 12:00-19:00
cbs-sykt.ru
 +7 (8212) 23-63-91
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, станица Советская
Краснодарский край, Новокубанский район, ст-ца Советская
Терешковой, 60
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 09:00-17:00
 +7 (86195) 5-61-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. К.Д. Ушинского, информационный центр
Москва, Москва, Якиманка район
Большой Толмачёвский переулок, 3 ст5
Расположение на карте
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-18:00
www.gnpbu.ru
 +7 (495) 951-05-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сибирская, библиотека
Томская область, Томск городской округ, Томск, Советский район
Колхозная, 9
Расположение на карте
санитарный день: последняя ср месяца
Пн: 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 (3822) 454-800
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Николаевка
Самарская область, Волжский район, с. Николаевка
Советская, 18
Расположение на карте
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-16:00
 +7 (846) 993-31-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17, г. Энгельс
Саратовская область, Энгельсский район, Энгельс, Химиков м-н
Ломоносова, 21а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 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 (8453) 76-96-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Вихоревская городская библиотека, МКУК
Иркутская область, Братский район, Вихоревка
Ленина, 35
Расположение на карте
зимний период: пн-пт 9:00-18:00, перерыв: 14:00-15:00; вс 9:00-18:00, перерыв: 14:00-15:00
Пн: 09:00-14:00 15:00-18:00
Вт: 09:00-14:00 15:00-18:00
Ср: 09:00-14:00 15:00-18:00
Чт: 09:00-14:00 15:00-18:00
Пт: 09:00-14:00 15:00-18:00
 +7 (3953) 40-65-50 +7-924-626-03-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Д.С. Лихачева, Выборгский район
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №13 "Светлановское"
Тореза проспект, 32
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-20:00
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Сб: 11:00-18:00
Вс: 11:00-17:00
cbsvib.ru
Вконтакте:  https://vk.com/toreza32
Инстаграм:  https://instagram.com/lihachev_library
Facebook:  https://facebook.com/Likhachevlibrary
 +7 (812) 550-06-07 +7 (812) 550-03-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Кирпильская сельская библиотека
Краснодарский край, Усть-Лабинский район, ст-ца Кирпильская
Красная, 45
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Сб: 09:00-17:00
Вс: 09:00-17:00
 +7 (86135) 5-81-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека
Республика Хакасия, Абакан городской округ, Абакан, 4-й микрорайон
Торговая, 8
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 10:00-17:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
цбс.абакан.рф
 +7 (3902) 28-31-89
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, МБУК
Республика Коми, Сыктывкар городской округ, Сыктывкар, Краснозатонский
Ломоносова, 48а
Расположение на карте
санитарный день: последний вт месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вс: 12:00-19:00
cbs-sykt.ru
 +7 (8212) 23-63-91
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, станица Советская
Краснодарский край, Новокубанский район, ст-ца Советская
Терешковой, 60
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 09:00-17:00
 +7 (86195) 5-61-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. К.Д. Ушинского, информационный центр
Москва, Москва, Якиманка район
Большой Толмачёвский переулок, 3 ст5
Расположение на карте
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-18:00
www.gnpbu.ru
 +7 (495) 951-05-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сибирская, библиотека
Томская область, Томск городской округ, Томск, Советский район
Колхозная, 9
Расположение на карте
санитарный день: последняя ср месяца
Пн: 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 (3822) 454-800
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Николаевка
Самарская область, Волжский район, с. Николаевка
Советская, 18
Расположение на карте
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-16:00
 +7 (846) 993-31-34
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17, г. Энгельс
Саратовская область, Энгельсский район, Энгельс, Химиков м-н
Ломоносова, 21а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 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 (8453) 76-96-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Вихоревская городская библиотека, МКУК
Иркутская область, Братский район, Вихоревка
Ленина, 35
Расположение на карте
зимний период: пн-пт 9:00-18:00, перерыв: 14:00-15:00; вс 9:00-18:00, перерыв: 14:00-15:00
Пн: 09:00-14:00 15:00-18:00
Вт: 09:00-14:00 15:00-18:00
Ср: 09:00-14:00 15:00-18:00
Чт: 09:00-14:00 15:00-18:00
Пт: 09:00-14:00 15:00-18:00
 +7 (3953) 40-65-50 +7-924-626-03-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Д.С. Лихачева, Выборгский район
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №13 "Светлановское"
Тореза проспект, 32
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-20:00
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Сб: 11:00-18:00
Вс: 11:00-17:00
cbsvib.ru
Вконтакте:  https://vk.com/toreza32
Инстаграм:  https://instagram.com/lihachev_library
Facebook:  https://facebook.com/Likhachevlibrary
 +7 (812) 550-06-07 +7 (812) 550-03-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Кирпильская сельская библиотека
Краснодарский край, Усть-Лабинский район, ст-ца Кирпильская
Красная, 45
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Сб: 09:00-17:00
Вс: 09:00-17:00
 +7 (86135) 5-81-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека
Республика Хакасия, Абакан городской округ, Абакан, 4-й микрорайон
Торговая, 8
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 10:00-17:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
цбс.абакан.рф
 +7 (3902) 28-31-89
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.