학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 70건 | 목록 1~10
Academic Journal
In: Journal of Artificial Intelligence Research. (Journal of Artificial Intelligence Research, 2024, 80:1099-1137)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, December 2022, 61(2-3):164-197)
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. 24(9):1381-1405 Sep, 2005
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13993 LNCS:549-568)
Academic Journal
In: ACM Transactions on Embedded Computing Systems. (ACM Transactions on Embedded Computing Systems, December 2017, 17(2))
Conference
Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No.98TB100251) FPGAs for custom computing machines FPGAs for Custom Computing Machines, 1998. Proceedings. IEEE Symposium on. :308-309 1998
Conference
In: Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. (Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022, 2022, :100-103)
Conference
In: Proceedings - 2022 IEEE Secure Development Conference, SecDev 2022, Proceedings - 2022 IEEE Secure Development Conference, SecDev 2022. (Proceedings - 2022 IEEE Secure Development Conference, SecDev 2022, 2022, :52-58)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 1 June 2016, 18(3):319-334)
검색 결과 제한하기
제한된 항목
[AR] Melham, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어