Showing
1 - 3
results of
3
for search '
Bertacco, Valeria
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Bertacco, Valeria
Showing
1 - 3
results of
3
for search '
Bertacco, Valeria
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Scalable Hardware Verification with Symbolic Simulation
by
Bertacco
,
Valeria
Published in
Springer e-books
(2006)
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
2
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Published in
Springer eBooks
(2013)
Other Authors:
“
...
Bertacco
,
Valeria
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
3
Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
by
Chang, Kai-hui
Published in
Springer eBooks
(2009)
Other Authors:
“
...
Bertacco
,
Valeria
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
Search Tools:
Get RSS Feed
Related Subjects
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
Loading...