학술논문
'학술논문'
에서 검색결과 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)
주제어
언어