학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 5건 | 목록 1~10
Conference
2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) Design and Diagnostics of Electronic Circuits and Systems (DDECS), 2022 25th International Symposium on. :7-13 Apr, 2022
Conference
2019 IEEE Latin American Test Symposium (LATS) Latin American Test Symposium (LATS), 2019 IEEE. :1-6 Mar, 2019
Electronic Resource
Kaufmann , D , Beame , P , Biere , A & Nordstrom , J 2022 , Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification . in C Bolchini , I Verbauwhede & I Vatajelu (eds) , Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 . IEEE , pp. 1431-1436 , 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 , Virtual, Online , Belgium , 14/03/2022 .
2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022,Virtual, Online, Belgium,-- Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. :1431-1436
검색 결과 제한하기
제한된 항목
[AR] Vatajelu, Ioana
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어