학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 47건 | 목록 1~10
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, 20 July 2023, 45(3))
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: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, June 2022, 44(2))
Conference
In: CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024, 9 January 2024, :230-245)
Book
In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 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, 14576 LNCS:332-337)
Book
In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 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, 14576 LNCS:302-331)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Academic Journal
In: Journal of Global Antimicrobial Resistance. (Journal of Global Antimicrobial Resistance, December 2019, 19:144-153)
검색 결과 제한하기
제한된 항목
[AR] Maillard, K.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어