Supercompiler HOSC 1.0: proof of termination

1432

Купить

Краткое содержание:

Экранизация книги

Supercompiler HOSC 1.0: proof of termination

Name: Supercompiler HOSC 1.0: proof of termination
Rating: 4.5

Автор:

Ključnikov Il'ja G

Год:

2010

Язык:

Английский

Заглавие серии:

Препринт / Keldysh Inst. of appl. mathematics, Russ. acad. of sciences ; N° 21 [2071-2898]

Описание:

Ključnikov I. G. Supercompiler HOSC 1.0: proof of termination / Ilya G. Klyuchnikov. - Moscow : [s.n.], 2010. - 27 c. : схем. ; 20 см. - (Препринт / Keldysh Inst. of appl. mathematics, Russ. acad. of sciences ; N° 21 [2071-2898]). - Библиогр.: с. 24-25 (16 назв.)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

HOSC 1.1, компиляторы(компьют.)

Примечания:

На обороте тит. л.: Суперкомпилятор HOSC 1.1: доказательство завершаемости / Илья Г. Ключников . - На обл. надзаг. на рус. яз. . - Рез. на рус. яз. . - HOSC 1.1 . - Библиогр.: с. 24-25 (16 назв.)

Дата создания:

2020-10-27 19:45:48

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотеки Тольятти

Самарская область, Тольятти городской округ, Тольятти, Автозаводский район, 4-й квартал
Курчатова бульвар, 3
Расположение на карте

зимний период: пн-пт 11:00-18:00; вс 11:00-17:00
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-17:00

libavtograd.ru
Вконтакте: https://vk.com/club23791051
Facebook: https://facebook.com/pages/библиотека-автограда/162903607101134

+7 (8482) 32-44-30

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотеки Тольятти

Самарская область, Тольятти городской округ, Тольятти, Автозаводский район, 13-й квартал
Свердлова, 5
Расположение на карте

зимний период: вт-пт 10:00-19:00; сб 11:00-18:00
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00

libavtograd.ru
Вконтакте: https://vk.com/club23791051
Facebook: https://facebook.com/pages/библиотека-автограда/162903607101134

+7 (8482) 79-98-80

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №13

Белгородская область, Старооскольский городской округ, Старый Оскол, Олимпийский м-н
Олимпийский микрорайон, 49а
Расположение на карте

санитарный день: последний день месяца
Пн: 10:30-19:00
Вт: 10:30-19:00
Ср: 10:30-19:00
Чт: 10:30-19:00
Пт: 10:30-19:00
Сб: 10:30-19:00

+7 (4725) 32-96-11

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Максимовщина

Иркутская область, Иркутский район, с. Максимовщина
Сибирская, 16Б
Расположение на карте

Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
Вс: 12:00-17:00

+7 (3952) 56-40-41

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Новомосковская библиотечная система, МБУК

Тульская область, Новомосковск городской округ, д. Грицово
Центральная, 44
Расположение на карте

санитарный день: последний рабочий день месяца
Вт: 09:00-14:00 14:30-16:30
Ср: 09:00-14:00 14:30-16:30
Чт: 09:00-14:00 14:30-16:30
Пт: 09:00-14:00 14:30-16:30
Сб: 09:00-14:00 14:30-16:30

nmosk-lib.ru
Вконтакте: https://vk.com/club76870112

+7 (48762) 2-17-46

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека им. А.И. Куприна

Ленинградская область, Гатчинский район, Гатчина
Володарского, 17
Расположение на карте

зимний период: пн-вт, чт-пт 11:00-19:00; сб-вс 11:00-18:00; ср выходной; санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-17:00

cuprinka.ru
Вконтакте: https://vk.com/club65749708

+7 (81371) 3-70-55

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система Прокопьевского муниципального района, МБУ

Кемеровская область, Прокопьевский район, пос. Маяковка
Центральная, 5
Расположение на карте

Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Вс: 10:00-14:00 15:00-19:00

www.mucbsprokopregion.ru

+7-951-612-36-90

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №10

Сахалинская область, Долинский городской округ, с. Советское
Центральная, 127а
Расположение на карте

санитарный день: последний день месяца
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-17:00

+7 (42442) 9-72-30

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека имени А.А. Фадеева

Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Первомайский район, Фрунзе
Щаденко, 2
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 10:00-18:00

www.donlib.ru
Вконтакте: https://vk.com/rostov_cbs
Инстаграм: https://instagram.com/biblioteka_rostova
Facebook: https://facebook.com/donlib.ru
Одноклассники: https://ok.ru/donlib
Твиттер: https://twitter.com/@cbsrostovskaya

+7 (863) 255-78-69

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №4

Республика Мордовия, Саранск городской округ, Саранск, Юго-запад
Попова, 54
Расположение на карте

санитарный день: последний день месяца
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Вс: 08:00-15:00

+7 (8342) 32-26-04

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотеки Тольятти

зимний период: пн-пт 11:00-18:00; вс 11:00-17:00
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-17:00

libavtograd.ru
Вконтакте: https://vk.com/club23791051
Facebook: https://facebook.com/pages/библиотека-автограда/162903607101134

+7 (8482) 32-44-30

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотеки Тольятти

зимний период: вт-пт 10:00-19:00; сб 11:00-18:00
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00

libavtograd.ru
Вконтакте: https://vk.com/club23791051
Facebook: https://facebook.com/pages/библиотека-автограда/162903607101134

+7 (8482) 79-98-80

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №13

санитарный день: последний день месяца
Пн: 10:30-19:00
Вт: 10:30-19:00
Ср: 10:30-19:00
Чт: 10:30-19:00
Пт: 10:30-19:00
Сб: 10:30-19:00

+7 (4725) 32-96-11

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Максимовщина

Иркутская область, Иркутский район, с. Максимовщина
Сибирская, 16Б
Расположение на карте

Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
Вс: 12:00-17:00

+7 (3952) 56-40-41

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Новомосковская библиотечная система, МБУК

Тульская область, Новомосковск городской округ, д. Грицово
Центральная, 44
Расположение на карте

nmosk-lib.ru
Вконтакте: https://vk.com/club76870112

+7 (48762) 2-17-46

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека им. А.И. Куприна

Ленинградская область, Гатчинский район, Гатчина
Володарского, 17
Расположение на карте

cuprinka.ru
Вконтакте: https://vk.com/club65749708

+7 (81371) 3-70-55

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система Прокопьевского муниципального района, МБУ

Кемеровская область, Прокопьевский район, пос. Маяковка
Центральная, 5
Расположение на карте

Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Вс: 10:00-14:00 15:00-19:00

www.mucbsprokopregion.ru

+7-951-612-36-90

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №10

Сахалинская область, Долинский городской округ, с. Советское
Центральная, 127а
Расположение на карте

санитарный день: последний день месяца
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-17:00

+7 (42442) 9-72-30

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека имени А.А. Фадеева

санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 10:00-18:00

+7 (863) 255-78-69

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №4

Республика Мордовия, Саранск городской округ, Саранск, Юго-запад
Попова, 54
Расположение на карте

санитарный день: последний день месяца
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Вс: 08:00-15:00

+7 (8342) 32-26-04

Показать номер

Supercompiler HOSC 1.0: proof of termination

Купить

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

Курсовая по теме Supercompiler HOSC 1.0: proof of termination

ВКР/Диплом по теме Supercompiler HOSC 1.0: proof of termination

Диссертация по теме Supercompiler HOSC 1.0: proof of termination

Заработать на знаниях по теме Supercompiler HOSC 1.0: proof of termination

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