학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 69건 | 목록 40~50
Conference
In: 2013 13th Canadian Workshop on Information Theory, CWIT 2013, 2013 13th Canadian Workshop on Information Theory, CWIT 2013. (2013 13th Canadian Workshop on Information Theory, CWIT 2013, 2013, :17-21)
Conference
In: Proceedings of the Workshop on Embedded Systems Security, WESS 2013, Proceedings of the Workshop on Embedded Systems Security, WESS 2013. (Proceedings of the Workshop on Embedded Systems Security, WESS 2013, 2013)
Book
In: Persuasive Technology: Design for Health and Safety - 7th International Conference, PERSUASIVE 2012, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7284 LNCS:67-78)
Conference
In: Canadian Conference on Electrical and Computer Engineering, 2007 Canadian Conference on Electrical and Computer Engineering, CCECD. (Canadian Conference on Electrical and Computer Engineering, 2007, :1405-1408)
Conference
In: Institute of Mathematics and its Applications - Vision, Video and Graphics 2005, VVG 2005, Institute of Mathematics and its Applications - Vision, Video and Graphics 2005, VVG 2005. (Institute of Mathematics and its Applications - Vision, Video and Graphics 2005, VVG 2005, 2005, :61-68)
Book
In: Correct Hardware Design and Verification Methods - 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2144:40-57)
Book
In: Theorem Proving in Higher Order Logics - 13th International Conference, TPHOLs 2000, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1869)
Book
In: Theorem Proving in Higher Order Logics - 13th International Conference, TPHOLs 2000, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1869)
Book
In: Formal Methods in Computer-Aided Design - 3rd International Conference, FMCAD 2000, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1954:A1-A19)
검색 결과 제한하기
제한된 항목
[AR] Aagaard, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어