학술논문
'학술논문'
에서 검색결과 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)
주제어
언어