Name: Verifying concurrent processes using temporal logic
Rating: 4.5

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

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

Режим работы

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

Телефон

Республиканская научно-техническая библиотека, Восточно-Казахстанский филиал

Восточно-Казахстанская область, Усть-Каменогорск
Абая проспект, 19
Расположение на карте

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

+7 (7232) 75-39-24 +7 (7232) 75-26-51 +7 (7232) 75-19-73

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

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

Режим работы

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

Телефон

Раменская межпоселенческая библиотека, МУП

Московская область, Раменский район, Раменское, Центральный м-н
Советская, 19
Расположение на карте

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

+7 (49646) 3-01-87

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

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

Режим работы

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

Телефон

Монинская городская библиотека

Московская область, Щёлковский район, пос. Монино
Новинское шоссе, 16
Расположение на карте

bibliomonino.ru
www.monino-city.ru
Вконтакте: https://vk.com/public131396044

+7 (496) 567-56-14

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

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

Режим работы

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

Телефон

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

Московская область, Ленинский район, Видное
Заводская, 24
Расположение на карте

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

biblio-vidnoe.ru
Вконтакте: https://vk.com/club35532545
Facebook: https://facebook.com/270433469696779

+7 (495) 541-16-21 +7 (495) 541-63-45 +7 (495) 541-44-11

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

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

Режим работы

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

Телефон

Библиотека, пос. Исеть

Свердловская область, Верхняя Пышма городской округ, пос. Исеть
Мира, 20
Расположение на карте

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

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

Режим работы

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

Телефон

Шелеховская межпоселенческая центральная библиотека

Иркутская область, Шелеховский район, Шелехов
1-й квартал, 6
Расположение на карте

Вт: 10:00-13:30 14:00-19:00
Ср: 10:00-13:30 14:00-19:00
Чт: 10:00-13:30 14:00-19:00
Пт: 10:00-13:30 14:00-19:00
Сб: 10:00-13:30 14:00-19:00
Вс: 10:00-13:30 14:00-18:30

shmcb.ru
Вконтакте: https://vk.com/shmcb
Инстаграм: https://instagram.com/shmcb_biblio
Facebook: https://facebook.com/shelcentrlib
Одноклассники: https://ok.ru/shmcb
Твиттер: https://twitter.com/@shmcb_biblio
Youtube: https://youtube.com/channel/UCu0hyn95FPoOjXqXl6Qv6PQ
Google plus: https://plus.google.com/+шелеховскаярайоннаябиблиотека

+7 (39550) 4-28-24

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

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

Режим работы

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

Телефон

Централизованная Библиотечная Система, МКУ

Челябинская область, Миасский городской округ, Миасс, Машгородок ж/м
Вернадского, 30
Расположение на карте

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

www.miasslib.ru
Вконтакте: https://vk.com/miasslib
Facebook: https://facebook.com/miasslib
Одноклассники: https://ok.ru/miasslib

+7 (3513) 53-91-21

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

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

Режим работы

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

Телефон

Библиотека правовой и экономической информации, Московский район

Санкт-Петербург, Санкт-Петербург, Московский район, МО №44 "Московская застава"
Благодатная, 20
Расположение на карте

Пн: 10:00-20:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00

www.cbs-msk.ru/4f.html
Вконтакте: https://vk.com/blagodatnaya20
Инстаграм: https://instagram.com/blagodatnaya20
Facebook: https://facebook.com/groups/1704378279827836/?ref=bookmarks

+7 (812) 242-35-78

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

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

Режим работы

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

Телефон

Библиотека, с. Верх-Чита

Забайкальский край, Читинский район, с. Верх-Чита
Центральная, 6
Расположение на карте

Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Сб: 10:00-13:00 14:00-18:00

+7 (3022) 37-04-30

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

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

Режим работы

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

Телефон

Балтийская централизованная библиотечная система, МБУК

Калининградская область, Балтийский район, Балтийск, Севастопольский
Киркенесская, 19
Расположение на карте

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

baltlib.ru

+7 (40145) 3-24-86

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

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

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

Режим работы

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

Телефон

Республиканская научно-техническая библиотека, Восточно-Казахстанский филиал

Восточно-Казахстанская область, Усть-Каменогорск
Абая проспект, 19
Расположение на карте

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

+7 (7232) 75-39-24 +7 (7232) 75-26-51 +7 (7232) 75-19-73

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

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

Режим работы

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

Телефон

Раменская межпоселенческая библиотека, МУП

Московская область, Раменский район, Раменское, Центральный м-н
Советская, 19
Расположение на карте

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

+7 (49646) 3-01-87

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

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

Режим работы

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

Телефон

Монинская городская библиотека

Московская область, Щёлковский район, пос. Монино
Новинское шоссе, 16
Расположение на карте

bibliomonino.ru
www.monino-city.ru
Вконтакте: https://vk.com/public131396044

+7 (496) 567-56-14

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

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

Режим работы

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

Телефон

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

Московская область, Ленинский район, Видное
Заводская, 24
Расположение на карте

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

biblio-vidnoe.ru
Вконтакте: https://vk.com/club35532545
Facebook: https://facebook.com/270433469696779

+7 (495) 541-16-21 +7 (495) 541-63-45 +7 (495) 541-44-11

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

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

Режим работы

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

Телефон

Библиотека, пос. Исеть

Свердловская область, Верхняя Пышма городской округ, пос. Исеть
Мира, 20
Расположение на карте

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

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

Режим работы

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

Телефон

Шелеховская межпоселенческая центральная библиотека

Иркутская область, Шелеховский район, Шелехов
1-й квартал, 6
Расположение на карте

Вт: 10:00-13:30 14:00-19:00
Ср: 10:00-13:30 14:00-19:00
Чт: 10:00-13:30 14:00-19:00
Пт: 10:00-13:30 14:00-19:00
Сб: 10:00-13:30 14:00-19:00
Вс: 10:00-13:30 14:00-18:30

+7 (39550) 4-28-24

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

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

Режим работы

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

Телефон

Централизованная Библиотечная Система, МКУ

Челябинская область, Миасский городской округ, Миасс, Машгородок ж/м
Вернадского, 30
Расположение на карте

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

www.miasslib.ru
Вконтакте: https://vk.com/miasslib
Facebook: https://facebook.com/miasslib
Одноклассники: https://ok.ru/miasslib

+7 (3513) 53-91-21

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

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

Режим работы

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

Телефон

Библиотека правовой и экономической информации, Московский район

Пн: 10:00-20:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00

www.cbs-msk.ru/4f.html
Вконтакте: https://vk.com/blagodatnaya20
Инстаграм: https://instagram.com/blagodatnaya20
Facebook: https://facebook.com/groups/1704378279827836/?ref=bookmarks

+7 (812) 242-35-78

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

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

Режим работы

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

Телефон

Библиотека, с. Верх-Чита

Забайкальский край, Читинский район, с. Верх-Чита
Центральная, 6
Расположение на карте

Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Сб: 10:00-13:00 14:00-18:00

+7 (3022) 37-04-30

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

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

Режим работы

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

Телефон

Балтийская централизованная библиотечная система, МБУК

Калининградская область, Балтийский район, Балтийск, Севастопольский
Киркенесская, 19
Расположение на карте

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

baltlib.ru

+7 (40145) 3-24-86

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

Verifying concurrent processes using temporal logic

Купить

Реферат по теме Verifying concurrent processes using temporal logic

Курсовая по теме Verifying concurrent processes using temporal logic

ВКР/Диплом по теме Verifying concurrent processes using temporal logic

Диссертация по теме Verifying concurrent processes using temporal logic

Заработать на знаниях по теме Verifying concurrent processes using temporal logic

Реставрация Verifying concurrent processes using temporal logic