학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 12건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, August 2023, 25(4):521-539)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 31 October 2022, 6(OOPSLA2))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2022, 6(POPL))
Conference
In: Proceedings -Design, Automation and Test in Europe, DATE, 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. (Proceedings -Design, Automation and Test in Europe, DATE, 2023, 2023-April)
Conference
In: Proceedings - Design Automation Conference, 2021 58th ACM/IEEE Design Automation Conference, DAC 2021. (Proceedings - Design Automation Conference, 5 December 2021, 2021-December:787-792)
Book
In: Runtime Verification - 21st International Conference, RV 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12974 LNCS:184-206)
Book
In: Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12075 LNCS:366-393)
Academic Journal
In: The Irish Journal of Psychology. (The Irish Journal of Psychology, 1 January 1992, 13(2):176-183)
검색 결과 제한하기
제한된 항목
[AR] Laurel, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어