학술논문
'학술논문'
에서 검색결과 95건 | 목록
30~40
Book
Service-Oriented Computing - ICSOC 2015 Workshops; 2016, p145-156, 12p
Academic Journal
ACM Transactions on Computational Logic (TOCL). 9(4):1-52
Book
Theory & Applications of Satisfiability Testing - SAT 2015; 2015, p295-307, 13p
Book
Formal Methods for Components & Objects (9783642252709); 2012, p23-44, 22p
Book
Computer Network Security (9783642337031); 2012, p130-145, 16p
Book
Armando, Alessandro; Arsac, Wihem; Avanesov, Tigran; Barletta, Michele; Calvi, Alberto; Cappai, Alessandro; Carbone, Roberto; Chevalier, Yannick; Compagna, Luca; Cuéllar, Jorge; Erzse, Gabriel; Frau, Simone; Minea, Marius; Mödersheim, Sebastian; von Oheimb, David; Pellegrino, Giancarlo; Ponta, Serena Elisa; Rocchetto, Marco; Rusinowitch, Michael; Torabi Dashti, Mohammad
Tools & Algorithms for the Construction & Analysis of Systems (9783642287558); 2012, p267-282, 16p
Book
Data Privacy Management & Autonomous Spontaneus Security; 2012, p235-252, 18p
Book
Data Privacy Management & Autonomous Spontaneus Security; 2012, p173-189, 17p
검색 결과 제한하기
제한된 항목
[AR] Chevalier, Yannick
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어