학술논문
'학술논문'
에서 검색결과 29건 | 목록
1~10
Conference
Lorch, Robert; Meng, Baoluo; Siu, Kit; Moitra, Abha; Durling, Michael; Paul, Saswata; Varanasi, Sarat Chandra; McMillan, Craig
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
Academic Journal
Academic Journal
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
Blood Pressure Parameters and their Associations with Death in Patients with Chronic Kidney Disease.
Academic Journal
Current Hypertension Reports; Nov2017, Vol. 19 Issue 11, p1-7, 7p
Academic Journal
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)
주제어
언어