|
|
JAIST Repository >
検索結果
検索結果表示: 91-100 / 1730.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 26-Oct-2019 | エマージング・テクノロジーの社会実装に向けた政策戦略としての「お手本標準」 | 今井, 寿子 |
| 1-Apr-2011 | データ管理領域におけるプログラム検証の自動化に関する研究 | 矢竹, 健朗; Yatake, Kenro |
| Mar-2011 | CafeOBJを用いた在庫管理問題の記述と評価 | 坂本, 淳誌; さかもと, あつし |
| Mar-2021 | CoqによるBBSLの形式化と検証 | 宇田, 拓馬; うだ, たくま |
| 15-Jan-2002 | 不確定性を持つ問題を解くためのAND/OR木探索 : 衝立詰将棋を題材として | 作田, 誠; 飯田, 弘之; SAKUTA, MAKOTO; IIDA, HIROYUKI |
| 15-Oct-2003 | モデル検査技術を利用したプログラム解析器の生成ツール | 山岡, 裕司; 胡, 振江; 武市, 正人; 小川, 瑞史; YAMAOKA, Yuji; HU, Zhenjiang; TAKEICHI, Masato; OGAWA, Mizuhito |
| May-1996 | 超並列計算機用プロセッサ結合網SRT ： ネットワーク特性と故障回避アーキテクチャ | 井口,寧; 堀口,進 |
| 15-Jan-2007 | 音楽理論GTTMに基づくグルーピング構造獲得システム | 浜中, 雅俊; 平田, 圭二; 東条, 敏; HAMANAKA, MASATOSHI; HIRATA, KEIJI; TOJO, SATOSHI |
| 22-Oct-2005 | 標準化組織とパテントプール : そのコラボレーションの可能性((ホットイシュー) 国際的技術標準戦略と研究開発 (2), 第20回年次学術大会講演要旨集II) | 金, 正勲 |
| Mar-2021 | イノベーション力を促進するワークショップデザイン | 中島, 靖; なかじま, やすし |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
次へ
|
