학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 192건 | 목록 1~10
Conference
2023 60th ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2023 60th ACM/IEEE. :1-6 Jul, 2023
Conference
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019 21st International Symposium on. :6-10 Sep, 2019
Conference
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019. :288-291 Mar, 2019
Conference
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2017 IEEE/ACM 39th International Conference on. :689-699 May, 2017
Report
International Conference on Theory and Applications of Satisfiability Testing. Springer, Cham, 2019
Conference
Proceedings of the 2021 ACM SIGCOMM 2021 Conference. :534-546
검색 결과 제한하기
제한된 항목
[AR] Bjorner, Nikolaj
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어