학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 138건 | 목록 110~120
Book
In: Design and Verification of Microprocessor Systems for High-Assurance Applications. (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010, :323-339)
Book
In: Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5674 LNCS:500-515)
Conference
In: SOSP'09 - Proceedings of the 22nd ACM SIGOPS Symposium on Operating Systems Principles, SOSP'09 - Proceedings of the 22nd ACM SIGOPS Symposium on Operating Systems Principles. (SOSP'09 - Proceedings of the 22nd ACM SIGOPS Symposium on Operating Systems Principles, 2009, :207-220)
Book
In: Theorem Proving in Higher Order Logics - 21st International Conference, TPHOLs 2008, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5170 LNCS:167-182)
Book
In: Educating Our Black Children: New Directions and Radical Approaches. (Educating Our Black Children: New Directions and Radical Approaches, 1 January 2005, :105-109)
Book
In: Educating Our Black Children: New Directions and Radical Approaches. (Educating Our Black Children: New Directions and Radical Approaches, 1 January 2005, :183-202)
Academic Journal
In: Early Childhood Education Journal. (Early Childhood Education Journal, October 2012, 40(5):259-263)
Academic Journal
In: JALA - Journal of the Association for Laboratory Automation. (JALA - Journal of the Association for Laboratory Automation, April 2003, 8(2):30-33)
Conference
In: 1995 25th European Microwave Conference, 1995 25th European Microwave Conference. (1995 25th European Microwave Conference, 1995, 2:673-676)
검색 결과 제한하기
제한된 항목
[AR] Sewell, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어