학술논문
'학술논문'
에서 검색결과 758건 | 목록
20~30
Conference
Davis, Brooks; Watson, Robert N. M.; Richardson, Alexander; Neumann, Peter G.; Moore, Simon W.; Baldwin, John; Chisnall, David; Clarke, James; Filardo, Nathaniel Wesley; Gudka, Khilan; Joannou, Alexandre; Laurie, Ben; Markettos, A. Theodore; Maste, J. Edward; Mazzinghi, Alfredo; Napierala, Edward Tomasz; Norton, Robert M.; Roe, Michael; Sewell, Peter; Son, Stacey; Woodruff, Jonathan
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. :379-393
Academic Journal
Academic Journal
Bulletin of Symbolic Logic; Dec2021, Vol. 27 Issue 4, p514-518, 5p
Academic Journal
Conference
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Space Mission Challenges for Information Technology, 2009. SMC-IT 2009. Third IEEE International Conference on. :51-57 Jul, 2009
Periodical
Journal of Symbolic Logic; December 2021, Vol. 86 Issue: 4 p1486-1507, 22p
검색 결과 제한하기
제한된 항목
[AR] Baldwin, John
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어