학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 72건 | 목록 40~50
Conference
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 11 June 2018, :256-269)
Conference
In: CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. (CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018, 8 January 2018, 2018-January:175-182)
Book
In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10951 LNCS:355-363)
Book
In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10895 LNCS:362-369)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 2nd Summit on Advances in Programming Languages, SNAPL 2017. (Leibniz International Proceedings in Informatics, LIPIcs, 1 May 2017, 71)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 2nd Summit on Advances in Programming Languages, SNAPL 2017. (Leibniz International Proceedings in Informatics, LIPIcs, 1 May 2017, 71)
Book
In: Numerical Software Verification - 9th International Workshop, NSV 2016, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10152 LNCS:63-77)
Conference
In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, OOPSLA 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 19 October 2016, 02-04-November-2016:765-780)
Conference
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2 June 2016, 13-17-June-2016:448-461)
검색 결과 제한하기
제한된 항목
[AR] Tatlock, Z.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어