학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 299건 | 목록 1~10
Academic Journal
IEEE Transactions on Applied Superconductivity IEEE Trans. Appl. Supercond. Applied Superconductivity, IEEE Transactions on. 33(5):1-7 Aug, 2023
Academic Journal
IEEE Transactions on Applied Superconductivity IEEE Trans. Appl. Supercond. Applied Superconductivity, IEEE Transactions on. 33(5):1-4 Aug, 2023
Conference
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair Design automation/hardware description languages/VLSI Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95., IFIP International Conference on Hardware Description Languages. IFIP International Conference on Very Large Scal. :637-642 1995
Conference
Proceedings of the 1999 Particle Accelerator Conference (Cat. No.99CH36366) Particle accelerator conference Particle Accelerator Conference, 1999. Proceedings of the 1999. 2:676-678 vol.2 1999
Conference
2006 Formal Methods in Computer Aided Design Formal Methods in Computer Aided Design, 2006. FMCAD '06. :153-160 Nov, 2006
Academic Journal
In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. (Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 13 October 2017, 375(2104))
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 17th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 24 May 2022, 359:61-75)
Academic Journal
In: Software Testing Verification and Reliability. (Software Testing Verification and Reliability, 1 December 2014, 24(8):593-607)
Conference
In: Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021, 2021, :53-62)
Conference
In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020, 21 September 2020, :VII)
검색 결과 제한하기
제한된 항목
[AR] Hunt, W.A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어