본문

  1. Home
56 Results:UU:V60N9 0.718 sec.
RSS 
 Расширенный поиск
 Новый поиск книги прибытия
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
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
печати 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
печати 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
печати 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
печати 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
печати 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
печати Content Info
처음이전123456마지막
Моя история поиска

Сортировка
Очистить
Формат
    E-journal
    Автор
      Издатель
        Год
          Язык