학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 50건 | 목록 1~10
Academic Journal
In: Journal of Computational Biology. (Journal of Computational Biology, 1 September 2023, 30(9):1046-1058)
Academic Journal
IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. and Bioinf. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 18(6):2339-2352 Jan, 2021
Book
In: Bioinformatics Research and Applications - 18th International Symposium, ISBRA 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13760 LNBI:114-125)
Conference
In: Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022. (Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, 2022, :467-491)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 1 January 2017, 58(1):127-147)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, August 2013, 43(1):93-120)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2013, 42(3):221-261)
Academic Journal
In: Formal Methods in System Design, Special issue on Satisfiability Modulo Theory. (Formal Methods in System Design, February 2013, 42(1):3-23)
검색 결과 제한하기
제한된 항목
[AR] Wintersteiger, C.M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어