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

자료검색

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

검색 타입
상세검색
검색어[전방일치/ 주제어:Boolean.]
2건 중 2건 출력
1/1 페이지 엑셀파일 출력
제한항목
2022 삭제
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.
서명
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