|
JAIST Repository >
検索結果
検索結果表示: 1661-1670 / 1897.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Jun-2012 | モデル検査ツールにより出力された反例に基づく誤り特定に関する研究 | 陳, 適; ちん, てき |
| Dec-2012 | CRFを利用したWebページの自動構造化 | 小坂井, 誉規; こざかい, もとき |
| 21-Dec-2011 | Chapter VII: Gödel-Dummett Logic | Baaz, Matthias; Preining, Norbert |
| Mar-2013 | ユーザーイノベーションに向けたツールキット利用 ―スマートフォン向けアプリケーション開発に対する行動観察― | 佐藤, 政宣; さとう, まさのり |
| 2012 | Mining multiple biological data for reconstructing signal transduction networks | Nguyen, Thanh-Phuong; Ho, Tu-Bao |
| Dec-2013 | クラウドインフラ運用管理における信頼性向上のための、形式的検証手法の適用 | 菊池, 慎司; きくち, しんじ |
| Jun-2013 | 局所対話構造と対話行為の認識法の研究 | 松本, 恭徳; まつもと, よしのり |
| Sep-2013 | テクノロジーコンセプトのサービスコンセプトへの進化プロセス―クラウドコンピューティングの事例研究― | 片岡, 利枝子; かたおか, りえこ |
| Sep-2014 | 効果的な特徴マッチングのためのLocal Binary Pattern 特徴量に関する研究 | Nguyen, Ngoc Thao; ぐえん, ごっく たお |
| Sep-2014 | 電子移動を利用した多元金属ナノ粒子の特性制御と新奇バイオ／化学センシングプローブへの応用 | Dao, Thi Ngoc Anh; だお, てぃ ごっく あん |
前へ
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
次へ
|
