본문

  1. Home
970 Results:AA:KIM 1.921 sec.
RSS 
 Расширенный поиск
 Новый поиск книги прибытия
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
Selected Print 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
печати Content Info
872
Bounded Model Checking of Hybrid Systems for Control
Bounded Model Checking of Hybrid Systems for Control
Kwon, Y. / Kwon, Y. / 2015

종합자료실 / 대출가능
Naver
печати Content Info
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
печати Content Info
874
Cucker-Smale Flocking With Inter-Particle Bonding Forces
Cucker-Smale Flocking With Inter-Particle Bonding Forces
Park, J. / Park, J. / 2010

종합자료실 / 대출가능
Naver
печати Content Info
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
печати Content Info
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
печати Content Info
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
печати Content Info
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
печати Content Info
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
печати Content Info
880
IMU Self-Calibration Using Factorization
IMU Self-Calibration Using Factorization
Hwangbo, M. / Hwangbo, M. / 2013

종합자료실 / 대출가능
Naver
печати Content Info
처음이전83848586878889909192이후마지막
Моя история поиска

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