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

자료검색

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

검색 타입
상세검색
검색어[키워드 / 전체:Computer science.]
17건 중 17건 출력
1/2 페이지 엑셀파일 출력
제한항목
Iowa State University 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
Collective Program Analysis  미리보기
저자
Upadhyaya, Ganesha
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
004
출판년
2018
자료유형
학위논문 학위논문 URL
소장처
 
2.
서명
A Data-driven Situation-aware Framework for Predictive Analysis in Smart Environments  미리보기
저자
Gholami, Hoda
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
004
출판년
2018
자료유형
학위논문 학위논문 URL
소장처
 
3.
서명
Situation-oriented Requirements Engineering  미리보기
저자
Atukorala, Nimanthi L
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
004
출판년
2019
자료유형
E-Book E-Book URL
소장처
 
4.
서명
Witness Generation in Existential CTL Model Checking  미리보기
저자
Jiang, Chuan
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
621.3
출판년
2019
자료유형
E-Book E-Book URL
소장처
 
5.
서명
Implicit Relations and Their Derivatives for Symbolic State Space Generation  미리보기
저자
Biswal, Shruti
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
004
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
6.
서명
Probabilistic Computations: Mild Derandomizatons and Zero-Knowledge Classes  미리보기
저자
Dixon, Peter
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
004
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
7.
서명
Coded Caching: Information Theoretic Bounds and Asynchronism  미리보기
저자
Ghasemi, Hooshang
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
004
출판년
2019
자료유형
E-Book E-Book URL
소장처
 
8.
서명
Training and Evaluation in a Large-scale Virtual Environment for a Location-based Mobile Application  미리보기
저자
Sulaiman, Adel
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
004
출판년
2019
자료유형
E-Book E-Book URL
소장처
 
9.
서명
The Construction and Applications of Callback Control Flow Graphs for Event-driven and Framework-based Mobile Apps  미리보기
저자
Dominguez Perez, Danilo
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
621.3
출판년
2019
자료유형
E-Book E-Book URL
소장처
 
10.
서명
Provable and Efficient Algorithms for Robust Subspace Learning and Tracking  미리보기
저자
Narayanamurthy, Praneeth Kurpad
출판사
Iowa State University. : ProQuest Dissertations & Theses
청구기호
621.3
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
1 2 
Serial Form