JAIST Repository >

一覧: タイトル

移動先: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
タイトルの先頭数文字を入力して移動:   

検索結果: 1428-1448 / 2073.

前ページ 次ページ
発行日タイトル 著者
2008 Springer Handbook of Robotics: Networked TelerobotsSong, Dezhen; Goldberg, Kenneth; Chong, Nak Young
2-Apr-2014 Stability analysis of underactuated compass gait based on linearization of motionAsano, Fumihiko
16-Apr-2018 Stabilization Mechanism of the Tetragonal Structure in a Hydrothermally Synthesized BaTiO_3 NanocrystalHongo, Kenta; Kurata, Sinji; Jomphoak, Apichai; Inada, Miki; Hayashi, Katsuro; Maezono, Ryo
17-Jun-2011 Stabilization of Finite Automata with Application to Hybrid Systems ControlKobayashi, Koichi; Imura, Jun-ichi; Hiraishi, Kunihiko
20-Oct-2009 Stacking-based context-sensitive points-to analysis for javaLi, Xin; Ogawa, Mizuhito
14-May-2009 Stacking-based Context-Sensitive Points-to Analysis for JavaLi, Xin; Ogawa, Mizuhito
13-Jun-2017 STAR-CODE: STAR-struCtured relaying for glObal wireless Data ExchangeKhoirul, Anwar
1-Dec-2010 StarBEDを利用したネットワーク体験演習環境の構築宮地, 利幸; 三輪, 信介; 長谷川, 忍; 丹, 康雄; 篠田, 陽一
2007 State Evaluation Strategy for Exemplar-Based Policy Optimization of Dynamic Decision ProblemsIkeda, Kokolo; Kita, Hajime
1-Mar-2007 Statistical Analysis Driven Synthesis of Application Specific Asynchronous SystemsOHASHI, Koji; KANEKO, Mineo
May-2003 Statistical Analysis of chi-square AttacksISOGAI, Norihisa; MIYAJI, Atsuko; NONAKA, Masao
13-Nov-1996 Still more on complexity of negation-limited circuitsSung, Shao-Chin; Tanaka, Keisuke; 宋, 少秋; 田中, 圭介; タナカ, ケイスケ
20-Jun-1989 Stop and Wait ARQを用いた移動通信制御手順の特性広池, 彰; 松本, 正; HIROIKE, Akira; MATSUMOTO, Tadashi
22-Feb-2018 The strength of SCT soundnessFrittaion, Emanuele; Pelupessy, Florian; Steila, Silvia; Yokoyama, Keita
Aug-2019 String commitment scheme with low output localityMiyaji, Hideaki; Kawachi, Akinori; Miyaji, Atsuko
6-Jun-2000 Strong normalization theorem for first order classical natural deductionIshii, Katsumasa
14-Apr-1997 Strong pareto optimality of compromise decisions in multi-criteria analysisRamik, Jaroslav; Vlach, Milan
27-Aug-1998 Strongly normalization from weakly normalization on some restricted λ-calculusMotohama, Yoko
7-Jul-2006 Structural preservation and reflection of diagramsNorrish, Michael; Vestergaard, Rene
22-Jun-2012 Structural Similarity Based on Time-span TreeTojo, Satoshi; Hirata, Keiji
6-Oct-2004 The structure and number of global roundings of a graphAsano, Tetsuo; Katoh, Naoki; Tamaki, Hisao; Tokuyama, Takeshi
前ページ 次ページ

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)