학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
Academic Journal
In: Empirical Software Engineering. (Empirical Software Engineering, November 2022, 27(6))
Book
In: Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14415 LNCS:133-139)
Book
In: Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14415 LNCS:153-159)
Book
In: Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14415 LNCS:160-166)
Conference
In: ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. (ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 12 July 2023, :1219-1231)
Conference
In: Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020. (Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, September 2020, :1219-1223)
Conference
In: MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. (MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 9 October 2019)
Conference
In: EPiC Series in Computing, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2018. (EPiC Series in Computing, 2018, 57:56-75)
Book
In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11294 LNCS:50-68)
Book
In: Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10491 LNCS:347-363)
검색 결과 제한하기
제한된 항목
[AR] Even-Mendoza, K.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어