학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 30건 | 목록 1~10
Academic Journal
IEEE Transactions on Engineering Management IEEE Trans. Eng. Manage. Engineering Management, IEEE Transactions on. 67(4):1444-1458 Nov, 2020
Conference
2016 1st IEEE International Verification and Security Workshop (IVSW) Verification and Security Workshop (IVSW), IEEE International. :1-6 Jul, 2016
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 37(6):1298-1311 Jun, 2018
Academic Journal
In: Annals of Mathematics and Artificial Intelligence. (Annals of Mathematics and Artificial Intelligence, 1 April 2018, 82(4):261-277)
Conference
In: Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. (Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019, October 2019, :19-27)
Conference
In: ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency. (ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency, May 2019, :337-344)
검색 결과 제한하기
제한된 항목
[AR] Berryhill, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어