Отображение
1 - 3
результаты of
3
для поиска '
Bertacco, Valeria
'
Пропуск в контексте
Язык
English
Русский
123
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
Автор
Bertacco, Valeria
Отображение
1 - 3
результаты of
3
для поиска '
Bertacco, Valeria
'
, время запроса: 0.02сек.
Отмена результатов
Сортировка
Релевантность
Дата по убыванию
Дата по возрастанию
Шифр
Автор
Заглавие
1
Scalable Hardware Verification with Symbolic Simulation
по
Bertacco
,
Valeria
Опубликовано в:
Springer e-books
(2006)
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Перейти в каталог НБ ТГУ
Электронная книга
2
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Опубликовано в:
Springer eBooks
(2013)
Другие авторы:
“
...
Bertacco
,
Valeria
...
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Перейти в каталог НБ ТГУ
Электронная книга
3
Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
по
Chang, Kai-hui
Опубликовано в:
Springer eBooks
(2009)
Другие авторы:
“
...
Bertacco
,
Valeria
...
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Перейти в каталог НБ ТГУ
Электронная книга
Инструменты поиска:
RSS-поток
Связанные темы
Circuits and Systems
Computer aided design
Computer-Aided Engineering (CAD, CAE) and Design
Engineering
Logic design
Systems engineering
engineering
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Communication Networks
Computer Hardware
Computer Science
Computer engineering
Computer hardware
Electronic and Computer Engineering
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Загрузка...