학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 17건 | 목록 10~20
Conference
In: 6th International Particle Accelerator Conference, IPAC 2015, 6th International Particle Accelerator Conference, IPAC 2015. (6th International Particle Accelerator Conference, IPAC 2015, 2015, :2485-2488)
Book
In: Constructive Side-Channel Analysis and Secure Design - 4th International Workshop, COSADE 2013, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7864 LNCS:184-199)
Conference
In: IPAC 2012 - International Particle Accelerator Conference 2012, IPAC 2012 - International Particle Accelerator Conference 2012. (IPAC 2012 - International Particle Accelerator Conference 2012, 2012, :825-827)
Conference
In: IPAC 2012 - International Particle Accelerator Conference 2012, IPAC 2012 - International Particle Accelerator Conference 2012. (IPAC 2012 - International Particle Accelerator Conference 2012, 2012, :1623-1625)
Conference
In: IPAC 2012 - International Particle Accelerator Conference 2012, IPAC 2012 - International Particle Accelerator Conference 2012. (IPAC 2012 - International Particle Accelerator Conference 2012, 2012, :1626-1628)
Book
In: Formal Techniques for Networked and Distributed Systems - FORTE 2007 - 27th IFIP WG 6.1 International Conference, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4574 LNCS:263-279)
Book
In: FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4085 LNCS:557-572)
검색 결과 제한하기
제한된 항목
[AR] C. Meuter
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어