|
|
JAIST Repository >
検索結果
検索結果表示: 1751-1760 / 3900.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Sep-2007 | Tyrolean termination tool: Techniques and features | Hirokawa, Nao; Middeldorp, Aart |
| Jun-2005 | Automating the dependency pair method | Hirokawa, Nao; Middeldorp, Aart |
| 2010 | On prioritized weighted aggregation in multi-criteria decision making | Yan, Hong-Bin; Huynh, Van-Nam; Nakamori, Yoshiteru; Murai, Tetsuya |
| 28-Sep-2010 | Aqueous Synthesis and Characterization of Ag and Ag-Au Nanoparticles: Addressing Challenges in Size, Monodispersity, and Structure | Mott, Derrick; Thuy, Nguyen T. B.; Aoki, Yoshiya; Maenosono, Shinya |
| 2010 | Proof Score Approach to Analysis of Electronic Commerce Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| Mar-2011 | Set-generated Classes in Constructive Set Theory CZF | 三宮, 泰; さんぐう, やすし |
| 22-Mar-2011 | JAIST NOW No.8 (2011 Spring) | |
| Mar-2014 | 商品推薦のための個人情報マイニング技術の開発 | 金, 景仲; きん, けいちゅう |
| 25-Jul-2012 | Deterministic finite automata representation for model predictive control of hybrid systems | Kobayashi, Koichi; Imura, Jun-ichi |
| Mar-2012 | カーナビゲーションシステムの仮想走行に関するテスト空間の設計に関する研究 | 森, 豪基; もり, ごうき |
前へ
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
次へ
|
