학술논문
'학술논문'
에서 검색결과 37건 | 목록
1~10
Academic Journal
In Annals of Allergy, Asthma & Immunology July 2022 129(1):63-70
Academic Journal
Academic Journal
In The Journal of Allergy and Clinical Immunology February 2020 145(2) Supplement:AB6-AB6
Conference
2007 Data Compression Conference (DCC'07) Data Compression Conference, 2007. DCC '07. :273-282 Mar, 2007
Conference
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming. :183-196
Conference
Proceedings of the third ACM SIGPLAN international conference on Functional programming. :313-323
Conference
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis. :113-123
Academic Journal
ACM Transactions on Programming Languages and Systems (TOPLAS). 24(2):112-152
Book
Barthe, Gilles; Grégoire, Benjamin; Huisman, Marieke; Lanet, Jean-Louis; League, Christopher; Monnier, Stefan
Construction & Analysis of Safe, Secure & Interoperable Smart Devices (9783540336891); 2006, p77-98, 22p
검색 결과 제한하기
제한된 항목
[AR] League, Christopher
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어