학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 137건 | 목록 1~10
Academic Journal
In: Epidemiologia e Servicos de Saude. (Epidemiologia e Servicos de Saude, 2024, 32(4))
Academic Journal
In: Epidemiologia e Servicos de Saude. (Epidemiologia e Servicos de Saude, 2023, 32(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: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2022, 18(2))
Conference
2013 Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design (FMCAD), 2013. :173-180 Oct, 2013
Conference
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Software engineering and formal methods Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. :261-270 2004
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 2 August 2020, 4(ICFP))
검색 결과 제한하기
제한된 항목
[AR] De Moura, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어