학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
주제어
언어