본문

  1. Home
5 Results:AA:TOPCU U 0.265 sec.
RSS 
 Advanced Search
 New arrival Search
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
Selected Print Select Export to Excel
1
Differentially Private Distributed Constrained Optimization
Differentially Private Distributed Constrained Optimization
Han, S. / Han, S. / 2017

종합자료실 / 대출가능
Naver
Print Content Info
2
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Wongpiromsarn, T. / Wongpiromsarn, T. / 2016

종합자료실 / 대출가능
Naver
Print Content Info
3
Exact Convex Relaxation of Optimal Power Flow in Radial Networks
Exact Convex Relaxation of Optimal Power Flow in Radial Networks
Gan, L. / Gan, L. / 2015

종합자료실 / 대출가능
Naver
Print Content Info
4
Design and Stability of Load-Side Primary Frequency Control in Power Systems
Design and Stability of Load-Side Primary Frequency Control in Power Systems
Zhao, C. / Zhao, C. / 2014

종합자료실 / 대출가능
Naver
Print Content Info
5
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
Liu, J. / Liu, J. / 2013

종합자료실 / 대출가능
Naver
Print Content Info
처음1마지막
My Search History

Sort
Refine
Format
    E-journal
    Author
      Publisher
        Year
          Language