Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=621.3.049.771.14-048.24(063)<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

004.38'12(063)/C81-005095

Correct hardware design and verification methods [Electronic resource] : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005: proceedings / ed. D. Borrione. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3725). - ISBN 978-3-540-32030-2 : Б. ц.

ГРНТИ	47.33.31
УДК	621.3.049.771-047.56(063)	621.3.049.771.14-048.24(063)

Рубрики: Интегральные схемы большие--Проектирование--Съезды и конференции
Интегральные схемы большие--Верификация--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Borrione, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

004.415.5(063)/F76-876081

Formal methods for hardware verification [Electronic resource] : 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / ed. M. Bernardo. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3965). - ISBN 978-3-540-34305-9 : Б. ц.

ГРНТИ	47.33.31
УДК	621.3.049.771.14-048.24(063)

Рубрики: Интегральные схемы большие--Верификация--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Bernardo, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

004.38(063)/H25-890610

Hardware and software: verification and testing [Electronic resource] : third international haifa verification conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / ed. K. Yorav. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4899). - ISBN 978-3-540-77966-7 : Б. ц.

ГРНТИ	47.33.31	50.41
УДК	621.3.049.771.14-048.24(063)	004.415.53(063)

Рубрики: Интегральные схемы большие--Тестирование--Съезды и конференции
Программное обеспечение ЭВМ--Тестирование--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Yorav, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

621.3.049.771.14-048.24(063)
H25

Hardware and software: verification and testing [Electronic resource] : 4th international Haifa verification conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings / ed. H. Chockler, A. J. Hu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5394). - ISBN 978-3-642-01702-5 : Б. ц.

ГРНТИ	47.33.31	50.41
УДК	621.3.049.771.14-048.24(063)	004.415.53(063)

Рубрики: Интегральные схемы большие--Тестирование--Съезды и конференции
Программное обеспечение ЭВМ--Тестирование--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Chockler, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)