학술논문
'학술논문'
에서 검색결과 16건 | 목록
10~20
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2011, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6605 LNCS:81-95)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc. . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6015 LNCS:150-153)
Book
In: Computer Aided Verification - 22nd International Conference, CAV 2010, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6174 LNCS:89-103)
Conference
In: Proceedings of the ACM Symposium on Applied Computing , 24th Annual ACM Symposium on Applied Computing, SAC 2009. (Proceedings of the ACM Symposium on Applied Computing, 2009, :566-573)
Book
In: Logic Programming - 24th International Conference, ICLP 2008, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5366 LNCS:822-823)
Book
In: Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5311 LNCS:111-125)
검색 결과 제한하기
제한된 항목
[AR] Tsitovich, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어