학술논문
'학술논문'
에서 검색결과 4건 | 목록
1~10
Academic Journal
Verma, G.; Hostert, J.; Summerville, A.A.; Duval, C.E.; Renner, J.; Robang, A.S.; Paravastu, A.K.; Garcia Carcamo, R.; Getman, R.B.
In: ACS Applied Materials and Interfaces . (ACS Applied Materials and Interfaces, 3 April 2024, 16(13):16912-16926)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Book
In: Toxicology of Essential and Xenobiotic Metals . (Toxicology of Essential and Xenobiotic Metals, 1 January 2024, :79-96)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 13th International Conference on Interactive Theorem Proving, ITP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 August 2022, 237)
검색 결과 제한하기
제한된 항목
[AR] Hostert, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어