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

자료검색

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

검색 타입
상세검색
검색어[전방일치/ 주제어:LINEAR/]
5건 중 5건 출력
1/1 페이지 엑셀파일 출력
제한항목
2022 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
Neural Network Verification for Nonlinear Systems  미리보기
저자
Sidrane, Chelsea Rose
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
330
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
2.
서명
Trustworthy Machine Learning by Efficiently Verifying Compressed Models  미리보기
저자
Lazarus, Christopher
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
001
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
3.
서명
Arbitrary Polarization Control with Reconfigurable Metasurface Systems  미리보기
저자
Wang, Evan Wen
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
513
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
4.
서명
Truncation Algorithms for Markov Chains and Processes  미리보기
저자
Infanger, Alexander GerdDara
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
519
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
5.
서명
Algebraic Dynamics, Moduli Spaces, and Integrability  미리보기
저자
Weinreich, Max H
출판사
Brown University. : ProQuest Dissertations & Theses
청구기호
515
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
1 
Serial Form