|
JAIST Repository >
検索結果
検索結果表示: 1991-2000 / 6856.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Sep-2014 | A survey of formal verification of Paxos and a case study with an algebraic specification language [課題研究報告書] | Apasuthirat, Thanisorn |
| Sep-2014 | ポリオール類の化学品への選択酸化反応のための不均一系触媒としての白金ナノ粒子のグリーン調製法の開発に関する研究 | Tongsakul, Duangta Miss; たんすくーる, でゅあんた みす |
| Mar-2015 | 多分野学術文献マイニングによる概念借用に着目した発想支援システムの提案 | 丹羽, 悠斗; にわ, ゆうと |
| Mar-2016 | 非負数マトリックス因数分解へのリッチモデルと高速アルゴリズム | Nguyen, Duy Khuong; ぐいん, ずい ふん |
| Mar-2011 | Verifying the Correctness of Compiler for an Imperative Programming Language | Trinh, Bao Ngoc Quoc; トリン, バオ ノン クォック |
| Dec-2007 | Adaptive Transmission With Single-Carrier Multilevel BICM | Matsumoto, T.; Ibi, S.; Sampei, S.; Thoma, R. |
| Mar-2019 | 離散的エレメント・レイアウトのコンピューテーショナルデザイン | 北, 直樹; きた, なおき |
| 30-Nov-2018 | 北陸先端科学技術大学院大学 共有計算サーバ使用成果報告2017 | 井口, 寧; 本郷, 研太; 宮下, 夏苗; 宮下 夏苗／本郷 研太／井口 寧（編） |
| Dec-2019 | 種レベルのスマート分子診断用その場機器不要リコンビナーゼポリメラーゼ増幅法の開発 | Rathore, Himankshi; らとぅーる, ひまんくし |
| Sep-2018 | エクサスケールコンピューティングのためのエネルギー効率を考慮した新しい階層型相互結合網 | Faisal, Faiz Al; ふぁいさる, ふぁいず ある |
前へ
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
次へ
|
