학술논문
'학술논문'
에서 검색결과 32건 | 목록
1~10
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. 8(1):27-35 Jan, 2011
Academic Journal
Applied Sciences (2076-3417); 7/15/2019, Vol. 9 Issue 14, p2899, 8p
Backes, John; Bayless, Sam; Cook, Byron; Dodge, Catherine; Gacek, Andrew; Hu, Alan J.; Kahsai, Temesghen; Kocik, Bill; Kotelnikov, Evgenii, 1990; Kukovec, Jure; McLaughlin, Sean; Reed, Jason; Rungta, Neha; Sizemore, John; Stalzer, Mark; Srinivasan, Preethi; Subotić, Pavle; Varming, Carsten; Whaley, Blake
31st International Conference on Computer Aided Verification, CAV 2019, New York, USA Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11562 LNCS:231-241
Academic Journal
Xu, Wenqing (1-CAIT-CPM) AMS Author Profile; Stalzer, Mark (1-CAIT-CPM) AMS Author Profile
검색 결과 제한하기
제한된 항목
[AR] Stalzer, Mark
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어