학술논문

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