본문

  1. Home
56 Results:UU:V60N9 0.562 sec.
RSS 
 Advanced Search
 New arrival Search
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
Selected Print Select Export to Excel
51
An Augmented Petri Net Model for Health-Care Protocols
An Augmented Petri Net Model for Health-Care Protocols
Whittaker, S. J. / Whittaker, S. J. / 2015

종합자료실 / 대출가능
Naver
Print Content Info
52
Constructive Interconnection and Damping Assignment for Port-Controlled Hamiltonian Systems
Constructive Interconnection and Damping Assignment for Port-Controlled Hamiltonian Systems
Nunna, K. / Nunna, K. / 2015

종합자료실 / 대출가능
Naver
Print Content Info
53
Parameter and State Estimation of Nonlinear Systems Using a Multi-Observer Under the Supervisory Framework
Parameter and State Estimation of Nonlinear Systems Using a Multi-Observer Under the Supervisory Framework
Chong, M. S. / Chong, M. S. / 2015

종합자료실 / 대출가능
Naver
Print Content Info
54
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
Xu, W. / Xu, W. / 2015

종합자료실 / 대출가능
Naver
Print Content Info
55
Metrization and Simulation of Controlled Hybrid Systems
Metrization and Simulation of Controlled Hybrid Systems
Burden, S. A. / Burden, S. A. / 2015

종합자료실 / 대출가능
Naver
Print Content Info
56
Quantitative Temporal Simulation and Refinement Distances for Timed Systems
Quantitative Temporal Simulation and Refinement Distances for Timed Systems
Chatterjee, K. / Chatterjee, K. / 2015

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

Sort
Refine
Format
    E-journal
    Author
      Publisher
        Year
          Language