학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 58건 | 목록 1~10
Conference
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-13 Jun, 2021
Conference
2020 IEEE 33rd Computer Security Foundations Symposium (CSF) Computer Security Foundations Symposium (CSF), 2020 IEEE 33rd. :123-138 Jun, 2020
Academic Journal
Proceedings of the ACM on Programming Languages. 5(OOPSLA):1-29
Academic Journal
Proceedings of the ACM on Programming Languages. 4(OOPSLA):1-26
Dissertation/ Thesis
Dissertation Abstracts International; Dissertation Abstract International; 73-12B.
Academic Journal
Proceedings of the ACM on Programming Languages. 2(OOPSLA):1-29
Report
Logical Methods in Computer Science, Volume 7, Issue 1 (March 28, 2011) lmcs:1016
Conference
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. :838-848
검색 결과 제한하기
제한된 항목
[AR] Tate, Ross
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어