학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 71건 | 목록 30~40
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2020, 167)
Academic Journal
In: Assay and Drug Development Technologies. (Assay and Drug Development Technologies, 1 February 2012, 10(1):97-104)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2019, 131)
Book
In: Mathematics of Program Construction- 13th International Conference, MPC 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11825 LNCS:155-196)
Book
In: Mathematics of Program Construction- 13th International Conference, MPC 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11825 LNCS:329-365)
검색 결과 제한하기
제한된 항목
[AR] Kaposi, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어