학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 29건 | 목록 1~10
Conference
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :88-99 Apr, 2024
Conference
2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :209-220 Oct, 2023
Academic Journal
Carrigan, Braxton (1-SCSU-M) AMS Author Profile; Diaz, David (1-SCSU-M) AMS Author Profile; Hammer, James (1-CEDCC-M) AMS Author Profile; Lorch, John (1-BLS) AMS Author Profile; Lorch, Robert (1-IA-C) AMS Author Profile
The Australasian Journal of Combinatorics (Australas. J. Combin.) (20220101), 82, 31-58. ISSN: 1034-4942 (print).eISSN: 2202-3518.
Academic Journal
Carrigan, Braxton (1-SCSU) AMS Author Profile; Hammer, James (1-CEDCC) AMS Author Profile; Lorch, John (1-BLS-NDM) AMS Author Profile; Lorch, Robert (1-GRIN-NDM) AMS Author Profile; Owens, Caitlin (1-DSLSU) AMS Author Profile
Bulletin of the Institute of Combinatorics and its Applications (Bull. Inst. Combin. Appl.) (20210101), 92, 62-77. ISSN: 1183-1278 (print).eISSN: 2689-0674.
Academic Journal
Current Hypertension Reports; Nov2017, Vol. 19 Issue 11, p1-7, 7p
Academic Journal
Scientific Studies of Reading. May/Jun2011, Vol. 15 Issue 3, p267-284. 18p. 3 Charts.
Academic Journal
Memory & Cognition; Mar1986, Vol. 14 Issue 2, p95-103, 9p
Academic Journal
Memory & Cognition; Sep1980, Vol. 8 Issue 5, p405-414, 10p
검색 결과 제한하기
제한된 항목
[AR] Lorch, Robert
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어