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

자료검색

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

검색 타입
상세검색
검색어[전방일치/ 주제어:Boolean.]
6건 중 6건 출력
1/1 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
Safe Large-Scale Aerial Survey Planning for Multi-Robot Systems  미리보기
저자
Shah, Kunal
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
900
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
2.
서명
Neural Network Verification for Nonlinear Systems  미리보기
저자
Sidrane, Chelsea Rose
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
330
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
3.
서명
Augmenting Transition Systems for Scalable Symbolic Model Checking  미리보기
저자
Mann, Makai
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
306
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
4.
서명
Invariant Inference Via Quantified Separation  미리보기
저자
Koenig, Jason Richard
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
510
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
5.
서명
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
소장처
 
6.
서명
Nonlocal Games, Distributed Storage, and Quantum Error Correction: Excursions in Fault-Tolerant Computation  미리보기
저자
Shutty, Noah John
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
530.1
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
1 
Serial Form