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

자료검색

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

검색 타입
상세검색
검색어[전방일치/ 주제어:Integer programming.]
총 8건 중 8건 출력
1/1 페이지 엑셀파일 출력

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
Theoretical and Practical Advances in Computational Social Choice and Crowdsourcing  미리보기
저자
Yoo, Yeawon
출판사
Arizona State University. : ProQuest Dissertations & Theses
청구기호
658
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
2.
서명
Design and Verification of Modular Components in Thermodynamic Binding Networks  미리보기
저자
Haley, David Russell
출판사
University of California, Davis. : ProQuest Dissertations & Theses
청구기호
519
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
3.
서명
Techniques for Mapping Deep Neural Network Frameworks to Programmable Accelerators  미리보기
저자
Hadjis, Stefan
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
400
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
4.
서명
Quantitative Privilege Separation with Pointer Supports  미리보기
저자
Liu, Shen
출판사
The Pennsylvania State University. : ProQuest Dissertations & Theses
청구기호
001
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
5.
서명
Neural Network Verification for Nonlinear Systems  미리보기
저자
Sidrane, Chelsea Rose
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
330
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
6.
서명
Algorithms for Stochastic Mixed-Integer Nonlinear Programming and Long Term Optimization of Electric Power Systems  미리보기
저자
Li, Can
출판사
Carnegie Mellon University. : ProQuest Dissertations & Theses
청구기호
660
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
7.
서명
Convex Optimization Methods for Adaptive Radiation Therapy  미리보기
저자
Fu, Anqi
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
616
출판년
2021
자료유형
E-Book E-Book URL
소장처
 
8.
서명
Trustworthy Machine Learning by Efficiently Verifying Compressed Models  미리보기
저자
Lazarus, Christopher
출판사
Stanford University. : ProQuest Dissertations & Theses
청구기호
001
출판년
2022
자료유형
E-Book E-Book URL
소장처
 
1 
바구니보기
Serial Form

도서관정보

(38610)경상북도 경산시 한의대로 1 대구한의대학교 향산도서관 FAX : 053-819-1260, 1261

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.