| 1 |
|
Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet
가야대학교 대출가능 
|
Gao, Min.
|
University of California, Los Angeles. : ProQuest Dissertations & Theses
|
621.3
|
2018
|
|
|
|
| 2 |
|
Coding for Future Large-Scale Data Systems
가야대학교 대출가능
|
Schoeny, Clayton Maxwell.
|
University of California, Los Angeles. : ProQuest Dissertations & Theses
|
621.3
|
2018
|
|
|
|
| 3 |
|
Control of Spin-Wave Damping in Radio Frequency Components Using Spin Currents from Topological Insulators
가야대학교 대출가능
|
Navabi-Shirazi, Aryan.
|
University of California, Los Angeles. : ProQuest Dissertations & Theses
|
621.3
|
2018
|
|
|
|
| 4 |
|
Efficient Track-and-Hold Techniques for High Speed Time-interleaved ADCs
가야대학교 대출가능
|
Wang, Xiao.
|
University of California, Los Angeles. : ProQuest Dissertations & Theses
|
621.3
|
2018
|
|
|
|
| 5 |
|
Interface Engineering of Voltage-Controlled Embedded Magnetic Random Access Memoryv
가야대학교 대출불가(별치)
|
Li, Xiang.
|
University of California, Los Angeles. : ProQuest Dissertations & Theses
|
621.3
|
2018
|
|
|
|
| 6 |
|
Structured Low-rank Matrix Approximation in Signal Processing: Semidefinite Formulations and Entropic First-order Methods
가야대학교 대출가능
|
Chao, Hsiao-Han.
|
University of California, Los Angeles. : ProQuest Dissertations & Theses
|
519
|
2018
|
|
|
|
