학술논문
'학술논문'
에서 검색결과 102건 | 목록
1~10
Academic Journal
In: Journal of the ACM . (Journal of the ACM, 12 February 2024, 71(1))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 5 January 2024, 8)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2024, 20(2):16:1-16:54)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 29th International Conference on Types for Proofs and Programs, TYPES 2023. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 303)
Academic Journal
In: Acta Clinica Belgica: International Journal of Clinical and Laboratory Medicine . (Acta Clinica Belgica: International Journal of Clinical and Laboratory Medicine, 2023, 78(2):165-170)
Academic Journal
In: ACM Transactions on Programming Languages and Systems . (ACM Transactions on Programming Languages and Systems, 21 September 2022, 44(4))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 29 August 2022, 6(ICFP))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 29 April 2022, 6(OOPSLA1))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 29 April 2022, 6(OOPSLA1))
Conference
In: CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security , CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 15 November 2023, :2083-2097)
검색 결과 제한하기
제한된 항목
[AR] Devriese, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어