학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 158건 | 목록 120~130
Academic Journal
In: Journal of Computer Security. (Journal of Computer Security, 2005, 13(3):345)
Academic Journal
In: Discrete Applied Mathematics, Fun with Algorithms 2. (Discrete Applied Mathematics, 15 December 2004, 144(3):303-319)
Academic Journal
In: Computer Languages, Systems and Structures. (Computer Languages, Systems and Structures, October 2004, 30 3-4 SPEC. ISS.:231-258)
Academic Journal
In: Computer Languages, Systems and Structures. (Computer Languages, Systems and Structures, October 2004, 30 3-4 SPEC. ISS.:207-230)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1996, 1055:167-186)
Academic Journal
In: Electronic Notes in Theoretical Computer Science, SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP. (Electronic Notes in Theoretical Computer Science, August 2003, 85(3):1)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 6 January 2003, 291(3):285-327)
Academic Journal
In: Electronic Notes in Theoretical Computer Science, CATS'03, Computing: The Australasian Theory Symposium. (Electronic Notes in Theoretical Computer Science, April 2003, 78:123-143)
Conference
In: Proceedings of the Computer Security Foundations Workshop, Proceedings - Computer Security Foundations Workshop, CSFW 1994. (Proceedings of the Computer Security Foundations Workshop, 1995, :126-136)
Conference
In: Proceedings of the Computer Security Foundations Workshop. (Proceedings of the Computer Security Foundations Workshop, 1995, :60-69)
검색 결과 제한하기
제한된 항목
[AR] Focardi, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어