학술논문

EBSCO Discovery Service
발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 17건 | 목록 1~20
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:178-195)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:87-105)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:124-143)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:50-67)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:21-32)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS) 238p.
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:3-20)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:v)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:106-123)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:144-160)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:221-238)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:ix)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:196-212)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:163-177)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:213-220)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:33-49)
Book
In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12549 LNCS:68-86)
검색 결과 제한하기
제한된 항목
[검색어] : 9783030636173
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
자료유형(Source Type)
주제어
언어