학술논문
'학술논문'
에서 검색결과 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)
Academic Journal
검색 결과 제한하기
제한된 항목
[AR] Laurel, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어