Supercompiler HOSC: proof of correctness
702
Купить
Краткое содержание:
Экранизация книги

Supercompiler HOSC: proof of correctness

Автор:
Ključnikov Il'ja G
Год:
2010
Язык:
Английский
Страниц:
28
Заглавие серии:
Препринт / Keldysh inst. of appl. mathematics, Russ. acad. of sciences ; N° 31 [2071-2898]
Описание:
Ključnikov I. G. Supercompiler HOSC: proof of correctness / Ilya G. Klyuchnikov. - Москва : [s.n.], 2010. - 28 с. : ил. ; 21 см. - (Препринт / Keldysh inst. of appl. mathematics, Russ. acad. of sciences ; N° 31 [2071-2898]). - Библиогр.: с. 25-28 (29 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
HOSC, компиляторы(компьют.)
Примечания:
На обороте тит. л.: Суперкомпилятор HOSC: доказательство корректности / И.Г. Ключников . - На обл. надзаг. на рус. яз. . - Рез. на рус. яз. . - Библиогр.: с. 25-28 (29 назв.)
Дата создания:
2021-09-04 12:32:47
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Supercompiler HOSC: proof of correctness

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Supercompiler HOSC: proof of correctness
Опросы
У книги есть аудиоверсия?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Supercompiler HOSC: proof of correctness

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Алматинская областная универсальная библиотека им. С. Сейфуллина
Алматы, Алматы, Медеуский район
Татибекова, 27
Расположение на карте
Пн: 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
 +7 (727) 397-81-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Истоки, библиотека №200
Москва, Москва, Кунцево район
Боженко, 14 к4
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
bibliozao.ru
 +7 (495) 417-52-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ленинские Горы, 1
Расположение на карте
санитарный день: последняя ср месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
nbmgu.ru
 +7 (495) 939-26-40 +7 (495) 939-21-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ботанический сад УрО РАН, ФГБНУ, научно-техническая библиотека
Свердловская область, Екатеринбург городской округ, Екатеринбург, Железнодорожный район, Старая Сортировка
Билимбаевская, 32а
Расположение на карте
Пн: 08:30-12:00 12:15-17:00
Вт: 08:30-12:00 12:15-17:00
Ср: 08:30-12:00 12:15-17:00
Чт: 08:30-12:00 12:15-17:00
Пт: 08:30-16:00
Сб: 00:00-24:00
Вс: 00:00-24:00
rovenasv.wixsite.com/lesnaja-biblioteka
 +7-902-877-18-43 +7 (343) 322-56-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10 им. А.П. Гайдара
Тамбовская область, Тамбов городской округ, Тамбов, Октябрьский округ
Советская, 176/13
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
Вконтакте:  https://vk.com/club54764252
 +7 (4752) 53-76-23
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. М. Горького, г. Железногорск
Красноярский край, ЗАТО Железногорск городской округ, Железногорск, Девятка
Толстого, 19
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
www.bibligor.ru
Вконтакте:  https://vk.com/club15456813
Инстаграм:  https://instagram.com/bibliqor.zhelezn
Facebook:  https://facebook.com/bibliotekaimmgorkogo
Google plus:  https://plus.google.com/+bibgaidararu
 +7 (3919) 79-27-23
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №2, г. Искитим
Новосибирская область, Искитим городской округ, Искитим, Подгорный м-н
Подгорный микрорайон, 41
Расположение на карте
технический день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
 +7 (38343) 2-89-16
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17 им. А.С. Макаренко
Пермский край, Пермь городской округ, Пермь, Свердловский район, Зеленое Хозяйство
Чкалова, 20
Расположение на карте
санитарный день: последний день месяца; июнь-август: пн-пт 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 (342) 207-50-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10, Кировский район
Санкт-Петербург, Санкт-Петербург, Кировский район, МО №26 "Ульянка"
Стойкости, 36 к1
Расположение на карте
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 10:00-18:00
 +7 (812) 750-39-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Всеволожская межпоселенческая библиотека
Ленинградская область, Всеволожский район, Всеволожск
Московская, 6
Расположение на карте
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
 +7 (81370) 3-12-28 +7 (81370) 4-17-91
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Алматинская областная универсальная библиотека им. С. Сейфуллина
Алматы, Алматы, Медеуский район
Татибекова, 27
Расположение на карте
Пн: 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
 +7 (727) 397-81-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Истоки, библиотека №200
Москва, Москва, Кунцево район
Боженко, 14 к4
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
bibliozao.ru
 +7 (495) 417-52-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ленинские Горы, 1
Расположение на карте
санитарный день: последняя ср месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
nbmgu.ru
 +7 (495) 939-26-40 +7 (495) 939-21-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ботанический сад УрО РАН, ФГБНУ, научно-техническая библиотека
Свердловская область, Екатеринбург городской округ, Екатеринбург, Железнодорожный район, Старая Сортировка
Билимбаевская, 32а
Расположение на карте
Пн: 08:30-12:00 12:15-17:00
Вт: 08:30-12:00 12:15-17:00
Ср: 08:30-12:00 12:15-17:00
Чт: 08:30-12:00 12:15-17:00
Пт: 08:30-16:00
Сб: 00:00-24:00
Вс: 00:00-24:00
rovenasv.wixsite.com/lesnaja-biblioteka
 +7-902-877-18-43 +7 (343) 322-56-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10 им. А.П. Гайдара
Тамбовская область, Тамбов городской округ, Тамбов, Октябрьский округ
Советская, 176/13
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
Вконтакте:  https://vk.com/club54764252
 +7 (4752) 53-76-23
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. М. Горького, г. Железногорск
Красноярский край, ЗАТО Железногорск городской округ, Железногорск, Девятка
Толстого, 19
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
www.bibligor.ru
Вконтакте:  https://vk.com/club15456813
Инстаграм:  https://instagram.com/bibliqor.zhelezn
Facebook:  https://facebook.com/bibliotekaimmgorkogo
Google plus:  https://plus.google.com/+bibgaidararu
 +7 (3919) 79-27-23
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №2, г. Искитим
Новосибирская область, Искитим городской округ, Искитим, Подгорный м-н
Подгорный микрорайон, 41
Расположение на карте
технический день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
 +7 (38343) 2-89-16
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17 им. А.С. Макаренко
Пермский край, Пермь городской округ, Пермь, Свердловский район, Зеленое Хозяйство
Чкалова, 20
Расположение на карте
санитарный день: последний день месяца; июнь-август: пн-пт 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 (342) 207-50-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10, Кировский район
Санкт-Петербург, Санкт-Петербург, Кировский район, МО №26 "Ульянка"
Стойкости, 36 к1
Расположение на карте
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 10:00-18:00
 +7 (812) 750-39-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Всеволожская межпоселенческая библиотека
Ленинградская область, Всеволожский район, Всеволожск
Московская, 6
Расположение на карте
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
 +7 (81370) 3-12-28 +7 (81370) 4-17-91
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.