학술논문
'학술논문'
에서 검색결과 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
Klein, G.; Elphinstone, K.; Heiser, G.; Andronick, J.; Cock, D.; Derrin, P.; Elkaduwe, D.; Engelhardt, K.; Kolanski, R.; Norrish, M.; Sewell, T.; Tuch, H.; Winwood, S.
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
Trainor, D.; Tolley, J.; LaCerte, C.; Gaynor, B.; Sewell, T.; Jazdzewski, M.; Lois, A.; Gonzales, F.
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)
Academic Journal
Sewell, T.; Hernandez-Hoyos, G.; Chenault, R. A.; Wiens, J.; Kumer, J.; Natarajan, S.; McMahan, C. J.; Algate, P. A.; Blankenship, J. W.
검색 결과 제한하기
제한된 항목
[AR] Sewell, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어