학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 85건 | 목록 1~10
Conference
2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) Bioinformatics and Biomedicine (BIBM), 2021 IEEE International Conference on. :64-71 Dec, 2021
Academic Journal
Senthooran, Ilankaikone (5-MNSH-DAI) AMS Author Profile; Klapperstueck, Matthias (5-MNSH-HCP) AMS Author Profile; Belov, Gleb (5-MNSH-DAI) AMS Author Profile; Czauderna, Tobias (5-MNSH-HCP) AMS Author Profile; Leo, Kevin (5-MNSH-DAI) AMS Author Profile; Wallace, Mark (5-MNSH-DAI) AMS Author Profile; Wybrow, Michael (5-MNSH-HCP) AMS Author Profile; de la Banda, Maria Garcia (5-MNSH-DAI) AMS Author Profile
Constraints. An International Journal (Constraints) (20230101), 28, no.~2, 203-243. ISSN: 1383-7133 (print).eISSN: 1572-9354.
Conference
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. :352-362
Report
Theory and Practice of Logic Programming 14 (2014) 363-377
Report
Theory and Practice of Logic Programming: 5(6):623-668, 2005
검색 결과 제한하기
제한된 항목
[AR] de la Banda, Maria Garcia
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어