학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 1,122건 | 목록 190~200
Conference
Proceedings of the 2005 workshop on Issues in the theory of security. :50-56
Conference
Jacobs, Bart (NL-RUNJ-IHB) AMS Author Profile
Logics and type systems in theory and practice---essays dedicated to Herman Geuvers on the occasion of his 60th birthday (20240101), 134-149.
Conference
Jacobs, Bart (NL-RUNJ-III) AMS Author Profile
Foundations of software science and computation structures. Part I (20240101), 101-120.
Conference
ACM International Conference Proceeding Series; 8/29/2016, p1-6, 6p
Conference
Proceedings of the 2015 30th Annual ACM,IEEE Symposium on Logic in Computer Science; 7/5/2016, p682-691, 10p
Book
Security & Trust Management (9783319465975); 2016, p106-121, 16p
Book
Coalgebraic Methods in Computer Science (9783319403694); 2016, p53-72, 20p
Book
New Codebreakers; 2016, p69-87, 19p
검색 결과 제한하기
제한된 항목
[AR] Jacobs, Bart
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어