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

자료검색

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

검색 타입
상세검색
검색어[전방일치/ 주제어:Computer science.]
69건 중 69건 출력
7/7 페이지 엑셀파일 출력
제한항목
University of Minnesota 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
61.
서명
Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems  미리보기
저자
Katis, Andreas
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
62.
서명
Better Program Analysis for Security via Data Flow Tracking and Symbolic Execution  미리보기
저자
Balajorshari, Navid Emamdoost
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
63.
서명
Scaling Up the Performance of Distributed Key-Value Stores Using Emerging Technologies for Big Data Applications  미리보기
저자
Eldakiky, Hebatalla
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
64.
서명
Target-Driven Robotic Manipulation with Visual Attribute Reasoning  미리보기
저자
Yang, Yang
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
65.
서명
Everyday Scientific Visualization: Making 3D Visualization Techniques Accessible for Day-to-Day Team-Science Collaboration and Analysis  미리보기
저자
Nam, Jung Who
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
66.
서명
Towards Human-Like Machine Intelligence: Generalizability, Transferability, and Trustworthiness  미리보기
저자
Luo, Yan
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
67.
서명
Computational Methods to Evaluate and Interpret Genome-Wide Perturbation Screens  미리보기
저자
Rahman, Ahm Mahfuzur
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
68.
서명
Support Social Connectedness Through Technology-Mediated Shared Activities  미리보기
저자
Yuan, Ye
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
69.
서명
Manifold-Based Testing of Machine Learning Systems  미리보기
저자
Byun, Tae Joon
출판사
University of Minnesota. : ProQuest Dissertations & Theses
청구기호
004
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
1 2 3 4 5 6 7 
Serial Form