|
JAIST Repository >
一覧: タイトル
検索結果: 4761-4781 / 18589.
発行日 | タイトル |
著者 |
Mar-2008 | Spinを用いたバイナリモデル検査 | 土肥, 雅俊; どい, まさとし |
1-Aug-2002 | Split-Phase:細粒度QoS指定指向型MPLS LSP設定手法の設計と実装 | 宇夫, 陽次朗; 宇多, 仁 ; 小柏, 伸夫; 篠田, 陽一; UO, Yojiro; UDA, Satoshi; OGASHIWA, Nobuo; SHINODA, Yoichi |
Nov-1997 | Splitting monadic heyting algebras | Bezhanishvili, Guram |
Mar-1999 | SPM カンチレバーの作製に関する研究 | 若山, 貴行; わかやま, たかゆき |
2016 | Springer Handbook of Robotics: Networked Robots | Song, Dezhen; Goldberg, Ken; Chong, Nak Young; Editors: Bruno Siciliano, Oussama Khatib |
2008 | Springer Handbook of Robotics: Networked Telerobots | Song, Dezhen; Goldberg, Kenneth; Chong, Nak Young |
Oct-1997 | SRT相互結合網のウェーハスタック実装における冷却について | 井口,寧; 松澤,照男; 堀口,進 |
Mar-2015 | SSL/TLS の脆弱性と対策手法に関する研究 | 亀川, 慧; かめかわ, さとし |
26-Oct-2019 | ST Foresight 2019 for SDGs | 黒木, 優太郎 |
2-Apr-2014 | Stability analysis of underactuated compass gait based on linearization of motion | Asano, Fumihiko |
25-Mar-2012 | Stability of polydihydrosilane liquid films on solid substrates | Masuda, Takashi; Matsuki, Yasuo; Shimoda, Tatsuya |
16-Apr-2018 | Stabilization Mechanism of the Tetragonal Structure in a Hydrothermally Synthesized BaTiO_3 Nanocrystal | Hongo, Kenta; Kurata, Sinji; Jomphoak, Apichai; Inada, Miki; Hayashi, Katsuro; Maezono, Ryo |
17-Jun-2011 | Stabilization of Finite Automata with Application to Hybrid Systems Control | Kobayashi, Koichi; Imura, Jun-ichi; Hiraishi, Kunihiko |
23-Jul-2014 | Stable alignment of 4,4″-diamino-p-terphenyl chemically adsorbed on a Si(001)-(2 × 1) surface observed by scanning tunneling microscopy | Amer Hassan, Amer Mahmoud; Nishimura, Takashi; Sasahara, Akira; Murata, Hideyuki; Tomitori, Masahiko |
25-Nov-2016 | A stable lithium-rich surface structure for lithium-rich layered cathode materials | Kim, Sangryun; Cho, Woosuk; Zhang, Xiaobin; Oshima, Yoshifumi; Choi, Jang Wook |
Dec-2008 | Stable-isotope labeling using an inducible viral infection system in suspension-cultured plant cells | Ohki, Shinya; Dohi, Koji; Tamai, Atsushi; Takeuchi, Makoto; Mori, Masashi |
20-Oct-2009 | Stacking-based context-sensitive points-to analysis for java | Li, Xin; Ogawa, Mizuhito |
14-May-2009 | Stacking-based Context-Sensitive Points-to Analysis for Java | Li, Xin; Ogawa, Mizuhito |
30-Oct-2021 | STAMP/STPA を用いた舶用機器事業のリスクアセスメント | 樋口, 穣司; 若林, 秀樹 |
Nov-2005 | Standardization of Decision-Making between Holism and Variety | Vojko, POTOCAN; Matjaz, MULEJ; Stefan, KAJZER; Jifa, Gu; Gerhard, Chroust |
13-Jun-2017 | STAR-CODE: STAR-struCtured relaying for glObal wireless Data Exchange | Khoirul, Anwar |
|