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