학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 31건 | 목록 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: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 18 January 2023, 24(1))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 9 January 2023, 7:1957-1986)
Book
In: Business Process Management - 22nd International Conference, BPM 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14940 LNCS:21-38)
Book
In: Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14683 LNCS:373-394)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, October 2021, 5(OOPSLA))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 13 November 2020, 4(OOPSLA))
Academic Journal
In: Acta Informatica. (Acta Informatica, 1 April 2019, 56(3):255-285)
검색 결과 제한하기
제한된 항목
[AR] Matheja, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어