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

링크메뉴

No	서명	저자	출판사	청구기호	출판년
31	Compositional and Automated Verification of Distributed Systems	Wilcox, James R	University of Washington. : ProQuest Dissertations & Theses	004	2021

32	Proof Repair	Ringer, Talia	University of Washington. : ProQuest Dissertations & Theses	004	2021

33	Information Extraction from Semi-Structured Websites	Lockard, Colin D	University of Washington. : ProQuest Dissertations & Theses	001.5	2021

34	Realistically Editing Indoor Scenes	Zhang, Edward	University of Washington. : ProQuest Dissertations & Theses	004	2021

35	New AI Frameworks for Real-World Clinical Prediction	Erion, Gabriel G	University of Washington. : ProQuest Dissertations & Theses	004	2021

36	Broad Generalization Through Domain Transfer: Abstractions and Algorithms	Rajeswaran, Aravind	University of Washington. : ProQuest Dissertations & Theses	004	2021

37	Code Generation and Optimization of Graph Programs on a Manycore Architecture	Furst, Emily	University of Washington. : ProQuest Dissertations & Theses	004	2021

38	Programming Language Tools and Techniques for Computational Fabrication	Nandi, Chandrakana	University of Washington. : ProQuest Dissertations & Theses	004	2021

39	Novel Data Summaries for Join Query Optimization	Cai, Walter	University of Washington. : ProQuest Dissertations & Theses	004	2021

40	Compiler and Runtime Techniques for Optimizing Deep Learning Applications	Lyubomirsky, Steven Solomon	University of Washington. : ProQuest Dissertations & Theses	004	2022