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

자료검색

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

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
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
소장처
 
2.
서명
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
소장처
 
1 
Serial Form