학술논문
'학술논문'
에서 검색결과 320건 | 목록
1~10
Report
Ye, Lina; Khmelnitsky, Igor; Haddad, Serge; Barbot, Benoît; Bollig, Benedikt; Leucker, Martin; Neider, Daniel; Roy, Rajarshi
Logical Methods in Computer Science (March 20, 2024) lmcs:11472
Conference
2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) Code Generation and Optimization (CGO), 2022 IEEE/ACM International Symposium on. :79-91 Apr, 2022
Report
Khmelnitsky, Igor; Haddad, Serge; Ye, Lina; Barbot, Benoît; Bollig, Benedikt; Leucker, Martin; Neider, Daniel; Roy, Rajarshi
EPTCS 370, 2022, pp. 81-96
Conference
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) TASE Theoretical Aspects of Software Engineering (TASE),2020 International Symposium on. :49-56 Dec, 2020
검색 결과 제한하기
제한된 항목
[AR] Leucker, Martin
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어