학술논문
'학술논문'
에서 검색결과 309건 | 목록
170~180
In: arXiv . (arXiv, 20 December 2017)
In: arXiv . (arXiv, 15 November 2017)
Book
In: FM 2014: Formal Methods - 19th International Symposium, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8442 LNCS:263-278)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8934:30-39)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8471)
Conference
In: ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering . (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, 2014, :97-102)
Book
In: Concurrency Theory - 25th International Conference, CONCUR 2014, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8704 LNCS:141-155)
Book
In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8559 LNCS:508-524)
Conference
In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages , POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2014, :139-150)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 20th Int. Conf., TACAS 2014, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2014, Proc. . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8413 LNCS:389-391)
검색 결과 제한하기
제한된 항목
[AR] Kroening, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어