학술논문
'학술논문'
에서 검색결과 99건 | 목록
1~10
Academic Journal
Conference
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016 IEEE. :1-11 Apr, 2016
Conference
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. :18-31
Sewell, Thomas; Myreen, Magnus, 1983; Tan, Yong Kiam; Kumar, R.; Mihajlovic, Alexander; Abrahamsson, Oskar, 1986; Owens, S.
Proceedings of the ACM on Programming Languages. 7
Academic Journal
O'CONNOR, LIAM; CHEN, ZILIN; RIZKALLAH, CHRISTINE; JACKSON, VINCENT; AMANI, SIDNEY; KLEIN, GERWIN; MURRAY, TOBY; SEWELL, THOMAS; KELLER, GABRIELE
Conference
O'Connor, Liam; Chen, Zilin; Rizkallah, Christine; Amani, Sidney; Lim, Japheth; Murray, Toby; Nagashima, Yutaka; Sewell, Thomas; Klein, Gerwin
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. :89-102
Academic Journal
Frontiers in Microbiology; 1/22/2020, Vol. 10, p1-11, 11p
Conference
Amani, Sidney; Hixon, Alex; Chen, Zilin; Rizkallah, Christine; Chubb, Peter; O'Connor, Liam; Beeren, Joel; Nagashima, Yutaka; Lim, Japheth; Sewell, Thomas; Tuong, Joseph; Keller, Gabriele; Murray, Toby; Klein, Gerwin; Heiser, Gernot
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems. :175-188
Periodical
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Heiser, Gernot; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon
검색 결과 제한하기
제한된 항목
[AR] Sewell, Thomas
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어