Главная страница

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.33.14$<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
004.415.5/Y91-081068

    Yuan, J.
    Constraint-based verification [Electronic resource] / J. Yuan, A. Aziz, C. Pixley. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2006. - ISBN 0-387-30784-2 : Б. ц.

ГРНТИ
50.33.14
УДК
004.312-048.24
Рубрики: Логические схемы--Верификация

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

Доп.точки доступа:
Aziz, A.; Pixley, C.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.
004.38'144:621.3.049.771.14
S60

    Silva, F. da
    The core test wrapper handbook [Electronic resource] : rationale and application of IEEE Std. 1500 / F. Silva da, T. McLaurin, T. Waayers. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2006. - (Frontiers in electronic testing, ISSN 0929-1296 ; 35). - ISBN 0-387-34609-0 : Б. ц.

ГРНТИ
50.33.14
УДК
004.38'144:621.3.049.771.14
Рубрики: Вычислительные машины--Схемы--Проектирование

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

Доп.точки доступа:
McLaurin, T.; Waayers, T.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.
004.38'12(063)
H91

   
    Human centered design [Electronic resource] : first international conference, HCD 2009, held as part of HCI international 2009, San Diego, Ca, USA, July 19-24, 2009 : proceedings / ed. M. Kurosu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5619). - ISBN 978-3-642-02806-9 : Б. ц.

ГРНТИ
50.33.14
81.95.55
УДК
004.38'12(063)
004.78(063)

Кл.слова (ненормированные):
вычислительные машины -- проектирование -- человек -- компьютер -- взаимодействие -- конференции

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

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

    Sutherland, S.
    SystemVerilog for design [Electronic resource] : a guide to using systemVerilog for hardware design and modeling / S. Sutherland, S. Davidmann, P. Flake. - 2nd ed. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2006. - ISBN 0-387-36495-1 : Б. ц.

ГРНТИ
50.33.14
УДК
003.312'12
Рубрики: Логические схемы--Проектирование--Автоматизация

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

Доп.точки доступа:
Davidmann, S.; Flake, P.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)