학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 20건 | 목록 1~10
Academic Journal
In: Foundations and Trends in Programming Languages. (Foundations and Trends in Programming Languages, 2016, 3(2-3):95-230)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, 1 November 2015, 84(6):763-780)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8665:105-127)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2012, 8(4))
Conference
2009 22nd IEEE Computer Security Foundations Symposium; 2009, p124-140, 17p
Conference
20th IEEE Computer Security Foundations Symposium (CSF'07); 2007, p170-186, 17p
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, September 2006, 41(9):286-297)
Book
In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7966 LNCS(PART 2):174-186)
Book
In: Trustworthy Global Computing - 6th International Symposium, TGC 2011, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7173 LNCS:25-45)
검색 결과 제한하기
제한된 항목
[AR] Deniélou, P.-M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어