학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 18건 | 목록 1~10
Academic Journal
IEEE Transactions on Multi-Scale Computing Systems IEEE Trans. Multi-Scale Comp. Syst. Multi-Scale Computing Systems, IEEE Transactions on. 4(3):243-259 Sep, 2018
Conference
In: Proceedings - 2023 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2023, Proceedings - 2023 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2023. (Proceedings - 2023 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2023, 2023, :1-2)
Conference
In: 21st IEEE Interregional NEWCAS Conference, NEWCAS 2023 - Proceedings, 21st IEEE Interregional NEWCAS Conference, NEWCAS 2023 - Proceedings. (21st IEEE Interregional NEWCAS Conference, NEWCAS 2023 - Proceedings, 2023)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 1 April 2018, 20(2):179-194)
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, :23-28)
Book
In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10469 LNCS:349-366)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9636:349-366)
In: arXiv. (arXiv, 13 November 2017)
검색 결과 제한하기
제한된 항목
[AR] Marcker, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어