학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 16건 | 목록 1~10
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, October 2013, 48(10):407-426)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 5th Workshop on Synthesis, SYNT 2016. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 22 November 2016, 229:100-111)
Conference
In: SCALA 2015 - Proceedings of the 6th ACM SIGPLAN Symposium on Scala, co-located with PLDI 2015, SCALA 2015 - Proceedings of the 6th ACM SIGPLAN Symposium on Scala, co-located with PLDI 2015. (SCALA 2015 - Proceedings of the 6th ACM SIGPLAN Symposium on Scala, co-located with PLDI 2015, 13 June 2015, :18-29)
Book
In: Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9207:217-233)
검색 결과 제한하기
제한된 항목
[AR] Kneuss, E.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어