학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 56건 | 목록 1~10
Conference
2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2010 12th International Symposium on. :107-115 Sep, 2010
Report
Logical Methods in Computer Science, Volume 12, Issue 2 (June 29, 2016) lmcs:1641
Academic Journal
In Electronic Notes in Theoretical Computer Science November 2001 41(3):20-34
Academic Journal
In Electronic Notes in Theoretical Computer Science 1999 26:105-120
Conference
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :200-212
Conference
Proceedings of the 14th international conference on World Wide Web. :432-441
Conference
Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. :1-8
Conference
Proceedings of the 10th international conference on Static analysis. :153-170
Book
Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings; 2016, p393-405, 13p
검색 결과 제한하기
제한된 항목
[AR] Minamide, Yasuhiko
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어