|
JAIST Repository >
検索結果
検索結果表示: 1001-1010 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Mar-2012 | Teaching Science and Technology in English for the Global Knowledge Economy: A Case Study of the Higher Education Policy-Making Process in Malaysia | Zaaba, Zuraidah binti |
| Mar-2012 | 2010年代における移動体通信産業の展望 [課題研究報告書] | 佐藤, 篤郎; さとう, あつろう |
| Sep-2012 | Bounded Model Checking for Concurrent Behavior with Scheduler | ZHANG, Haitao |
| Dec-2013 | クラウドインフラ運用管理における信頼性向上のための、形式的検証手法の適用 | 菊池, 慎司; きくち, しんじ |
| Sep-2014 | A survey of formal verification of Paxos and a case study with an algebraic specification language [課題研究報告書] | Apasuthirat, Thanisorn |
| Sep-2014 | 家電機器の安定性と消費電力に関するスマートホームエネルギーマネジメントシステムの研究 | Javaid, Saher; じゃゔぃっど, さはる |
| May-2008 | An Action Research into International Masters Program in Practicing Management (IMPM): Suggesting Refraction to Complement Reflection for Management Learning in the Global Knowledge Economy | MEDENI, Tunc D.; UMEMOTO, Katsuhiro |
| Sep-2014 | 人の動作認識のための可分な意味特徴の自動抽出に関する研究 | Tran, Thang Thanh; とらん, たん たん |
| Sep-2014 | インジウムスズ酸化物と有機半導体界面の光学的第二高調波の研究 | Ngah Demon, Siti Zulaikha Binti; がー でもん , してぃ ずらいかー びんてぃ |
| Dec-2006 | Improving discriminative sequential learning by discovering important association of statistics | Phan, Xuan-Hieu; Nguyen, Le-Minh; Inoguchi, Yasushi; Ho, Tu-Bao; Horiguchi, Susumu |
前へ
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
次へ
|
