학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 17건 | 목록 10~20
Book
In: Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7211 LNCS:194-213)
Conference
In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2010, :435-446)
Book
In: Foundations of Software Science and Computational Structures - 13th Int. Conference, FoSSaCS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6014 LNCS:128-145)
Book
In: CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6269 LNCS:343-357)
Book
In: Trustworthy Global Computing - Third Symposium, TGC 2007, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 4912 LNCS:276-293)
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, January 2011, 46(1):435-446)
Academic Journal
In: Journal of Computer Security, 20th IEEE Computer Security Foundations Symposium (CSF). (Journal of Computer Security, 2008, 16(5):573-636)
검색 결과 제한하기
제한된 항목
[AR] Deniélou, P.-M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어