Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)

2767

Купить

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

Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)

Name: Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)
Rating: 4.5

Автор:

Воробьев Сергей Григорьевич

Год:

1987

Язык:

Русский

Страниц:

Описание:

Воробьев С.Г. Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11) / АН СССР, Сиб. отд-ние, ВЦ. - Новосибирск, 1987. - 17 с. - Библиогр.: с. 16-17 (8 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр.: с. 16-17 (8 назв.)

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

2022-02-17 19:34:22

Соц. сети:

Важно

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

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

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

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

Реферат по теме Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Системы условных редукций и их применение в проблемноориентированной верификации программ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (05.13.11)

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

Показать контакты

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

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

Режим работы

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

Телефон

Центральная библиотека г.Кемин

Чуйская область, Кеминский район, Кемин
Горького, 50
Расположение на карте

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

Режим работы

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

Телефон

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

Астраханская область, Астрахань городской округ, Астрахань, Трусовский район, Стрелецкое
Силикатная, 26
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00

+7 (8512) 57-94-91

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

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

Режим работы

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

Телефон

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

Москва, Москва, Бибирево район
Корнейчука, 59
Расположение на карте

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

+7 (499) 207-37-60 +7 (499) 205-21-11

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

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

Режим работы

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

Телефон

Воскресенская межпоселенческая библиотека, МУК

Московская область, Воскресенский район, с. Косяково
Косяково с, 73Б
Расположение на карте

Вт: 11:00-14:00 14:40-19:00
Ср: 11:00-14:00 14:40-19:00
Чт: 11:00-14:00 14:40-19:00
Пт: 11:00-14:00 14:40-19:00
Сб: 11:00-14:00 14:40-19:00

voslib.ru
Вконтакте: https://vk.com/club100436330

+7 (49644) 2-49-86

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

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

Режим работы

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

Телефон

Свердловская областная библиотека для детей и молодежи им. В.П. Крапивина

Свердловская область, Екатеринбург городской округ, Екатеринбург, Октябрьский район, Центр
Карла Либкнехта, 8
Расположение на карте

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

www.teenbook.ru
Facebook: https://facebook.com/SverdlOblBibl

+7 (343) 371-19-12 +7 (343) 371-00-39

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

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

Режим работы

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

Телефон

Библиотека №10 им. Н.М. Рубцова

Орловская область, Орёл городской округ, Орёл, Железнодорожный район
Курская 2-я, 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
Сб: 10:00-18:00

cbsorel.ru

+7 (4862) 55-29-91

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

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

Режим работы

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

Телефон

Агро-пустынская сельская библиотека

Рязанская область, Рязанский район, с. Агро-Пустынь
Комсомольская, 2
Расположение на карте

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

+7-920-957-59-63

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

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

Режим работы

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

Телефон

Центральная детская библиотека, г. Богородск

Нижегородская область, Богородский район, Богородск
Ленина, 202
Расположение на карте

Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 08:00-16:00
Вс: 09:00-17:00

www.cbsbg.ru

+7 (83170) 2-10-19

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

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

Режим работы

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

Телефон

Библиотека им. Л.Н. Толстого, г. Азов

Ростовская область, Азов городской округ, Азов
Комсомольская, 79
Расположение на карте

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

+7 (86342) 6-42-00

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

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

Режим работы

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

Телефон

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

Калининградская область, Полесский городской округ, Полесск
Шевчука, 10
Расположение на карте

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

bibliopolessk.ru

+7 (40158) 3-00-20

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

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

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

Режим работы

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

Телефон

Центральная библиотека г.Кемин

Чуйская область, Кеминский район, Кемин
Горького, 50
Расположение на карте

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

Режим работы

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

Телефон

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

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00

+7 (8512) 57-94-91

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

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

Режим работы

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

Телефон

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

Москва, Москва, Бибирево район
Корнейчука, 59
Расположение на карте

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

+7 (499) 207-37-60 +7 (499) 205-21-11

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

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

Режим работы

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

Телефон

Воскресенская межпоселенческая библиотека, МУК

Московская область, Воскресенский район, с. Косяково
Косяково с, 73Б
Расположение на карте

Вт: 11:00-14:00 14:40-19:00
Ср: 11:00-14:00 14:40-19:00
Чт: 11:00-14:00 14:40-19:00
Пт: 11:00-14:00 14:40-19:00
Сб: 11:00-14:00 14:40-19:00

voslib.ru
Вконтакте: https://vk.com/club100436330

+7 (49644) 2-49-86

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

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

Режим работы

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

Телефон

Свердловская областная библиотека для детей и молодежи им. В.П. Крапивина

www.teenbook.ru
Facebook: https://facebook.com/SverdlOblBibl

+7 (343) 371-19-12 +7 (343) 371-00-39

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

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

Режим работы

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

Телефон

Библиотека №10 им. Н.М. Рубцова

Орловская область, Орёл городской округ, Орёл, Железнодорожный район
Курская 2-я, 21а
Расположение на карте

cbsorel.ru

+7 (4862) 55-29-91

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

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

Режим работы

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

Телефон

Агро-пустынская сельская библиотека

Рязанская область, Рязанский район, с. Агро-Пустынь
Комсомольская, 2
Расположение на карте

+7-920-957-59-63

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

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

Режим работы

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

Телефон

Центральная детская библиотека, г. Богородск

Нижегородская область, Богородский район, Богородск
Ленина, 202
Расположение на карте

Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 08:00-16:00
Вс: 09:00-17:00

www.cbsbg.ru

+7 (83170) 2-10-19

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

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

Режим работы

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

Телефон

Библиотека им. Л.Н. Толстого, г. Азов

Ростовская область, Азов городской округ, Азов
Комсомольская, 79
Расположение на карте

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

+7 (86342) 6-42-00

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

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

Режим работы

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

Телефон

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

Калининградская область, Полесский городской округ, Полесск
Шевчука, 10
Расположение на карте

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

bibliopolessk.ru

+7 (40158) 3-00-20

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