본문

  1. Home
970 Results:AA:KIM 3.359 sec.
RSS 
 高度な検索
 新しい到着検索
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
選択した印刷 Select Export to Excel
871
Characterizing Token Delays of Timed Event Graphs for $K$- Cyclic Schedules
Characterizing Token Delays of Timed Event Graphs for $K$- Cyclic Schedules
Lee, T. / Lee, T. / 2017

종합자료실 / 대출가능
Naver
印刷 目次情報
872
Bounded Model Checking of Hybrid Systems for Control
Bounded Model Checking of Hybrid Systems for Control
Kwon, Y. / Kwon, Y. / 2015

종합자료실 / 대출가능
Naver
印刷 目次情報
873
Reducing the Conservativeness of Fully Sequential Indifference-Zone Procedures
Reducing the Conservativeness of Fully Sequential Indifference-Zone Procedures
Wang, H. / Wang, H. / 2013

종합자료실 / 대출가능
Naver
印刷 目次情報
874
Cucker-Smale Flocking With Inter-Particle Bonding Forces
Cucker-Smale Flocking With Inter-Particle Bonding Forces
Park, J. / Park, J. / 2010

종합자료실 / 대출가능
Naver
印刷 目次情報
875
Emergent Behavior of a Cucker-Smale Type Particle Model With Nonlinear Velocity Couplings
Emergent Behavior of a Cucker-Smale Type Particle Model With Nonlinear Velocity Couplings
Ha, S. Y. / Ha, S. Y. / 2010

종합자료실 / 대출가능
Naver
印刷 目次情報
876
New Actuation Mechanism for Actively Cooled SMA Springs in a Neurosurgical Robot
New Actuation Mechanism for Actively Cooled SMA Springs in a Neurosurgical Robot
Cheng, S. S. / Cheng, S. S. / 2017

종합자료실 / 대출가능
Naver
印刷 目次情報
877
Probabilistic Correspondence in Video Sequences for Efficient State Estimation and Autonomous Flight
Probabilistic Correspondence in Video Sequences for Efficient State Estimation and Autonomous Flight
Ryan, T. / Ryan, T. / 2016

종합자료실 / 대출가능
Naver
印刷 目次情報
878
Extrinsic Calibration of 2-D Lidars Using Two Orthogonal Planes
Extrinsic Calibration of 2-D Lidars Using Two Orthogonal Planes
Choi, D. / Choi, D. / 2016

종합자료실 / 대출가능
Naver
印刷 目次情報
879
Anisotropic Patterning to Reduce Instability of Concentric-Tube Robots
Anisotropic Patterning to Reduce Instability of Concentric-Tube Robots
Lee, D. / Lee, D. / 2015

종합자료실 / 대출가능
Naver
印刷 目次情報
880
IMU Self-Calibration Using Factorization
IMU Self-Calibration Using Factorization
Hwangbo, M. / Hwangbo, M. / 2013

종합자료실 / 대출가능
Naver
印刷 目次情報
처음이전83848586878889909192이후마지막
私の検索履歴

排序
提炼
材料类型
    E-journal
    著者
      版社
        年発行
          言語