학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 216건 | 목록 1~10
Academic Journal
In: Physics of Particles and Nuclei Letters. (Physics of Particles and Nuclei Letters, October 2023, 20(5):1246-1249)
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. 39(11):4090-4101 Nov, 2020
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. 39(11):4018-4029 Nov, 2020
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, 12 January 2023, 35(1))
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 5th International Workshop on Formal Methods for Autonomous Systems, FMAS 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 15 November 2023, 395:95-112)
검색 결과 제한하기
제한된 항목
[AR] Bogomolov, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어