학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
주제어
언어