대구한의대학교 향산도서관

자료검색

소장자료+타기관자료검색

검색 타입
상세검색
검색어[전방일치/ 주제어:Logic.]
11건 중 11건 출력
1/2 페이지 엑셀파일 출력
제한항목
Stanford University 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
Developing Computational and Experimental Tools to Understand Chromatin Dynamics and Regulation  미리보기
저자
Yang, Linfeng
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
005
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
2.
서명
"Scientific" Practices of Truth: The Culture of Criminal Detection in Modern China (1890-1949)  미리보기
저자
Peng, Wei
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
300
출판년
2019
자료유형
E-Book E-Book URL
소장처
 
3.
서명
Invariant Inference Via Quantified Separation  미리보기
저자
Koenig, Jason Richard
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
510
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
4.
서명
Within-Person and between-Person Variability in Learning and Memory  미리보기
저자
Hsu, Ching-Hsiu
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
741
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
5.
서명
3D Scene Understanding With Efficient Spatio-Temporal Reasoning  미리보기
저자
Gwak, JunYoung
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
620
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
6.
서명
Acceptance and Approximation: Studies on Probabilistic Stability, Acceptance Rules on Atomless Spaces, and Algebraic Logics of Approximation  미리보기
저자
Mierzewski, Krzysztof Mieczyslaw
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
005
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
7.
서명
Optimizing Remote Procedure Calls in Datacenters Using Hardware/Software Co-Design  미리보기
저자
Ibanez, Stephen Gabriel
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
650
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
8.
서명
Dynamic Introspection  미리보기
저자
Cohen, Michael
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
121
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
9.
서명
A Less Thoroughly Holistic Neobehaviorism  미리보기
저자
Turman, John
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
320
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
10.
서명
On Using Formal Methods for Safe and Robust Robot Autonomy  미리보기
저자
Leung, Karen Yan Ming
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
620
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
1 2 
Serial Form