학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 60건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 6 June 2023, 7:1733-1758)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 6 June 2023, 7)
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. 39(11):3981-3992 Nov, 2020
Conference
In: International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, ASPLOS 2024 - Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, 27 April 2024, 3:223-238)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14572 LNCS:110-128)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2022, 6(POPL))
Academic Journal
In: Nature Communications. (Nature Communications, 1 December 2021, 12(1))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, October 2021, 5(OOPSLA))
검색 결과 제한하기
제한된 항목
[AR] Pavlogiannis, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어