Trace theory for automatic hierarchical verification of sped-independent circuits

2049

Купить

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

Trace theory for automatic hierarchical verification of sped-independent circuits

Name: Trace theory for automatic hierarchical verification of sped-independent circuits
Rating: 4.5
ISBN: 0-262-04101-4

Автор:

Dill David L.

Год:

Cop.1989

isbn:

0-262-04101-4

Язык:

Английский

Страниц:

163

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

ACM distinguished diss. ; 1988

Описание:

Dill D. L. Trace theory for automatic hierarchical verification of sped-independent circuits / David L. Dill. - Cambridge (Mass.) ; London : MIT press, Cop.1989. - [14], 163 с. : ил. ; 24 см. - (ACM distinguished diss. ; 1988). - Библиогр.: с. 153-159

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

4.5

Материалы:

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

Рубрики:

Вычислительные системы, микропроцессорные

Примечания:

Библиогр.: с. 153-159

ББК:

З973.260.2-07

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

2022-03-31 11:28:17

Соц. сети:

Важно

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

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

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

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

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

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

Режим работы

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

Телефон

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

Москва, Москва, Капотня район
Капотня 5-й квартал, 17а
Расположение на карте

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

www.cbsuvao.ru
Вконтакте: https://vk.com/lib_uvao
Facebook: https://facebook.com/libuvao

+7 (495) 355-77-65

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

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

Режим работы

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

Телефон

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

Москва, Москва, Восточное Измайлово район
Измайловский проспект, 113
Расположение на карте

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

www.cbs-vao.ru

+7 (495) 965-18-39

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

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

Режим работы

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

Телефон

Воронежская областная универсальная научная библиотека им. И.С. Никитина

Воронежская область, Воронеж городской округ, Воронеж, Ленинский район
Ленина площадь, 2
Расположение на карте

санитарный день: последняя ср месяца; июль-август: пн-сб 9:00-18:00; вс выходной
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Сб: 12:00-20:00
Вс: 12:00-20:00

www.vrnlib.ru
Вконтакте: https://vk.com/vounb
Facebook: https://facebook.com/vounb

+7 (473) 255-38-92 +7 (473) 255-05-91

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

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

Режим работы

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

Телефон

Школа Великих Книг, ООО, читальный зал

Республика Дагестан, Махачкала городской округ, Махачкала, Ленинский район, 5-й пос.
Красина, 19
Расположение на карте

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

schoolofbooks.ru
Инстаграм: https://instagram.com/schoolofbooks

+7-989-873-68-13

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

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

Режим работы

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

Телефон

Центральная районная библиотека им. Павленкова Ф.

Пермский край, Усольский район, Усолье
Елькина, 11
Расположение на карте

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

+7 (3424) 42-25-92

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

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

Режим работы

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

Телефон

Центральная детская библиотека, Калининский район

Санкт-Петербург, Санкт-Петербург, Калининский район, МО №19 "Академическое"
Гражданский проспект, 83 к1
Расположение на карте

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

Вконтакте: https://vk.com/clubcdb

+7 (812) 533-35-78 +7 (812) 533-35-47

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

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

Режим работы

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

Телефон

Ульяновская областная специальная библиотека для слепых

Ульяновская область, Ульяновск городской округ, Ульяновск, Ленинский район, Центр м-н
Верхнеполевая, 11
Расположение на карте

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

uslb.ucoz.ru
Вконтакте: https://vk.com/club56600605
Инстаграм: https://instagram.com/ogbuk_uosbs
Твиттер: https://twitter.com/@ullibrary_blind

+7 (8422) 44-53-36 +7 (8422) 44-55-76

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

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

Режим работы

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

Телефон

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

Республика Татарстан, Зеленодольский район, с. Молвино
Центральная, 17а
Расположение на карте

Вт: 09:00-12:00 14:00-17:00
Ср: 09:00-12:00 14:00-17:00
Чт: 09:00-12:00 14:00-17:00
Пт: 09:00-12:00 14:00-17:00
Сб: 09:00-14:00

Вконтакте: https://vk.com/public137183837

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

Режим работы

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

Телефон

Усадская сельская библиотека

Республика Татарстан, Высокогорский район, с. Усады
Советская, 41
Расположение на карте

Пн: 13:00-19:00
Вт: 13:00-19:00
Ср: 13:00-19:00
Чт: 13:00-19:00
Пт: 13:00-19:00
Сб: 13:00-19:00

+7 (84365) 7-32-75

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

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

Режим работы

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

Телефон

Старомарьевская сельская библиотека

Ставропольский край, Грачевский район, с. Старомарьевка
Свердлова, 48Б
Расположение на карте

Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00
Сб: 09:00-12:00 13:00-17:00

Одноклассники: https://ok.ru/profile/584967716611

+7 (86540) 4-42-39

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

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

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

Режим работы

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

Телефон

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

Москва, Москва, Капотня район
Капотня 5-й квартал, 17а
Расположение на карте

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

www.cbsuvao.ru
Вконтакте: https://vk.com/lib_uvao
Facebook: https://facebook.com/libuvao

+7 (495) 355-77-65

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

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

Режим работы

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

Телефон

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

Москва, Москва, Восточное Измайлово район
Измайловский проспект, 113
Расположение на карте

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

www.cbs-vao.ru

+7 (495) 965-18-39

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

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

Режим работы

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

Телефон

Воронежская областная универсальная научная библиотека им. И.С. Никитина

www.vrnlib.ru
Вконтакте: https://vk.com/vounb
Facebook: https://facebook.com/vounb

+7 (473) 255-38-92 +7 (473) 255-05-91

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

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

Режим работы

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

Телефон

Школа Великих Книг, ООО, читальный зал

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

schoolofbooks.ru
Инстаграм: https://instagram.com/schoolofbooks

+7-989-873-68-13

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

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

Режим работы

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

Телефон

Центральная районная библиотека им. Павленкова Ф.

Пермский край, Усольский район, Усолье
Елькина, 11
Расположение на карте

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

+7 (3424) 42-25-92

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

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

Режим работы

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

Телефон

Центральная детская библиотека, Калининский район

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

Вконтакте: https://vk.com/clubcdb

+7 (812) 533-35-78 +7 (812) 533-35-47

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

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

Режим работы

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

Телефон

Ульяновская областная специальная библиотека для слепых

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

uslb.ucoz.ru
Вконтакте: https://vk.com/club56600605
Инстаграм: https://instagram.com/ogbuk_uosbs
Твиттер: https://twitter.com/@ullibrary_blind

+7 (8422) 44-53-36 +7 (8422) 44-55-76

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

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

Режим работы

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

Телефон

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

Республика Татарстан, Зеленодольский район, с. Молвино
Центральная, 17а
Расположение на карте

Вт: 09:00-12:00 14:00-17:00
Ср: 09:00-12:00 14:00-17:00
Чт: 09:00-12:00 14:00-17:00
Пт: 09:00-12:00 14:00-17:00
Сб: 09:00-14:00

Вконтакте: https://vk.com/public137183837

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

Режим работы

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

Телефон

Усадская сельская библиотека

Республика Татарстан, Высокогорский район, с. Усады
Советская, 41
Расположение на карте

Пн: 13:00-19:00
Вт: 13:00-19:00
Ср: 13:00-19:00
Чт: 13:00-19:00
Пт: 13:00-19:00
Сб: 13:00-19:00

+7 (84365) 7-32-75

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

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

Режим работы

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

Телефон

Старомарьевская сельская библиотека

Ставропольский край, Грачевский район, с. Старомарьевка
Свердлова, 48Б
Расположение на карте

Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00
Сб: 09:00-12:00 13:00-17:00

Одноклассники: https://ok.ru/profile/584967716611

+7 (86540) 4-42-39

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

Trace theory for automatic hierarchical verification of sped-independent circuits

Купить

Реферат по теме Trace theory for automatic hierarchical verification of sped-independent circuits

Курсовая по теме Trace theory for automatic hierarchical verification of sped-independent circuits

ВКР/Диплом по теме Trace theory for automatic hierarchical verification of sped-independent circuits

Диссертация по теме Trace theory for automatic hierarchical verification of sped-independent circuits

Заработать на знаниях по теме Trace theory for automatic hierarchical verification of sped-independent circuits

Реставрация Trace theory for automatic hierarchical verification of sped-independent circuits