Computer aided verification : Proceedings

2089

Купить

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

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

Computer aided verification : Proceedings

Name: Computer aided verification : Proceedings
Rating: 4.5
ISBN: 3-540-55179-4

Год:

Cop.1992

isbn:

3-540-55179-4

Язык:

Английский

Страниц:

487

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

Lecture notes in computer science ; 575

Описание:

Computer aided verification : Proceedings / K. G. Larsen, A. Skou (eds.); 3rd Intern. workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991. - Berlin etc. : Springer-Verl., Cop.1992. - X, 487 с. : ил. ; 24 см. - (Lecture notes in computer science ; 575). - Библиогр. в конце докл.

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

4.5

Материалы:

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

Рубрики:

Счетные машины, электронные → Контроль → Съезды, совещания и т. п.

Примечания:

Библиогр. в конце докл.

ББК:

З973.2-07я431

Другие ответственные лица:

Larsen, Kim Guldstrand → Редактор

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

2021-03-13 04:12:44

Соц. сети:

Важно

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

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

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

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

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

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

Режим работы

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

Телефон

Одесская областная детская библиотека им. В.П. Катаева

Одесская область, Одесса, Приморский район
Преображенская, 64

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

+380 (48) 725-68-82 +380 (48) 725-87-77

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

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

Режим работы

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

Телефон

Централизованная система массовых библиотек

Карагандинская область, Караганда городская администрация, Караганда, Казыбек Би район, 30-й м-н
Муканова, 13

Вт: 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 (7212) 34-11-63

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

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

Режим работы

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

Телефон

Чепошская сельская библиотека

Республика Алтай, Чемальский район, с. Чепош
Кучияк, 31

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

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

Режим работы

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

Телефон

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

Ханты-Мансийский автономный округ, Сургут городской округ, Сургут, Центральный район, 3-й микрорайон
Энтузиастов, 47

зимний период: пн-пт, вс 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 (3462) 45-78-10

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

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

Режим работы

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

Телефон

Городская библиотека №12

Ивановская область, Иваново городской округ, Иваново, Фрунзенский район
Героя Советского Союза Сахарова, 58

санитарный день: 1, 16 числа месяца
Вт: 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 (4932) 38-55-80

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

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

Режим работы

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

Телефон

Библиотека им. Б. Корнилова

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Советский район, Нагорный
Адмирала Васюнина, 1 к1

санитарный день: последний чт месяца
Пн: 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 (831) 461-30-66

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

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

Режим работы

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

Телефон

Новоликеевская сельская библиотека

Нижегородская область, Кстовский район, д. Новоликеево
Ленина, 3

Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00

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

Режим работы

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

Телефон

Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система

Иркутская область, Иркутск городской округ, Иркутск, Октябрьский округ
Постышева бульвар, 35

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

cbs.irkipedia.ru

+7 (3952) 22-66-87 +7 (3952) 22-99-62

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

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

Режим работы

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

Телефон

Прокудская сельская библиотека

Новосибирская область, Коченевский район, с. Прокудское
Новая, 10

Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00

+7 (38351) 42-716

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

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

Режим работы

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

Телефон

Центральная городская публичная библиотека им. В.В. Маяковского

Санкт-Петербург, Санкт-Петербург, Красногвардейский район, МО №33 "Большая Охта"
Якорная, 5а

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

www.pl.spb.ru
okhtalab.ru/biblioteka
Вконтакте: https://vk.com/pl_okp https://vk.com/oxtalib
Инстаграм: https://instagram.com/oxtalib
Youtube: https://youtube.com/channel/UCxeTzHPoBgmlvi9reECvS4g

+7 (812) 319-61-65

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

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

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

Режим работы

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

Телефон

Одесская областная детская библиотека им. В.П. Катаева

Одесская область, Одесса, Приморский район
Преображенская, 64

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

+380 (48) 725-68-82 +380 (48) 725-87-77

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

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

Режим работы

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

Телефон

Централизованная система массовых библиотек

Карагандинская область, Караганда городская администрация, Караганда, Казыбек Би район, 30-й м-н
Муканова, 13

Вт: 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 (7212) 34-11-63

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

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

Режим работы

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

Телефон

Чепошская сельская библиотека

Республика Алтай, Чемальский район, с. Чепош
Кучияк, 31

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

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

Режим работы

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

Телефон

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

+7 (3462) 45-78-10

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

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

Режим работы

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

Телефон

Городская библиотека №12

Ивановская область, Иваново городской округ, Иваново, Фрунзенский район
Героя Советского Союза Сахарова, 58

санитарный день: 1, 16 числа месяца
Вт: 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 (4932) 38-55-80

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

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

Режим работы

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

Телефон

Библиотека им. Б. Корнилова

санитарный день: последний чт месяца
Пн: 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 (831) 461-30-66

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

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

Режим работы

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

Телефон

Новоликеевская сельская библиотека

Нижегородская область, Кстовский район, д. Новоликеево
Ленина, 3

Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00

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

Режим работы

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

Телефон

Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система

Иркутская область, Иркутск городской округ, Иркутск, Октябрьский округ
Постышева бульвар, 35

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

cbs.irkipedia.ru

+7 (3952) 22-66-87 +7 (3952) 22-99-62

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

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

Режим работы

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

Телефон

Прокудская сельская библиотека

Новосибирская область, Коченевский район, с. Прокудское
Новая, 10

Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00

+7 (38351) 42-716

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

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

Режим работы

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

Телефон

Центральная городская публичная библиотека им. В.В. Маяковского

Санкт-Петербург, Санкт-Петербург, Красногвардейский район, МО №33 "Большая Охта"
Якорная, 5а

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

+7 (812) 319-61-65

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

Computer aided verification : Proceedings

Купить

Реферат по теме Computer aided verification : Proceedings

Курсовая по теме Computer aided verification : Proceedings

ВКР/Диплом по теме Computer aided verification : Proceedings

Диссертация по теме Computer aided verification : Proceedings

Заработать на знаниях по теме Computer aided verification : Proceedings

Реставрация Computer aided verification : Proceedings