|
JAIST Repository >
検索結果
検索結果表示: 531-540 / 1730.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 9-Oct-2010 | 「政策のための科学」形成への示唆 : 欧(PRO INNO)米(SoSP＆SciSIP)との比較の視点から | 平澤, 冷; 吉澤, 剛; 田原, 敬一郎 |
| 18-Oct-2014 | ライフサイエンス分野研究動向の可視化 | 調, 麻佐志 |
| 21-Oct-2006 | 次世代スーパーコンピュータの国際競争力向上を目指した光インターコネクション技術への動き(国際競争力・産業競争力 (2)) | 竹内, 寛爾 |
| Mar-2011 | アスペクト指向を適用した組み込みシステムテスト方法の研究 | 楊, 明睿; ヤン, ミンルイ |
| Jul-2006 | COE Research Monograph Series， Vol. 1 : オブジェクト指向理論によるファイアーウォールサーバの検証 | 矢竹, 健朗 |
| Jun-2012 | モデル検査ツールにより出力された反例に基づく誤り特定に関する研究 | 陳, 適; ちん, てき |
| Sep-2013 | プログラムの実行時誤りの検出に関する調査研究 [課題研究報告書] | 中川原, 廣守; なかがわら, ひろもり |
| Mar-2015 | データセンタにおける管理ネットワークの無線化 | 岩本, 裕真; いわもと, ゆうま |
| 24-Jul-2014 | 北陸先端科学技術大学院大学 共有計算サーバ使用成果報告2013 | 佐藤, 幸紀; 宮下, 夏苗; 尾崎, 泰助; 佐藤 幸紀／宮下夏苗／尾崎 泰助（編） |
| 28-Mar-2005 | 電子大学の履修管理システムを対象とした自己説明性および進化容易性を実現するためのソフトウェア構成手法の検討 | 早坂, 良; 藤枝, 和宏; 落水, 浩一郎 |
前へ
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
次へ
|
