|
|
JAIST Repository >
検索結果
検索結果表示: 2201-2210 / 8111.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 15-May-2002 | 否定的意味が内在するソートを含んだソート階層の論理(<特集>システムLSIの設計技術と設計自動化) | 兼岩,憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI |
| 15-Jun-2003 | 振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術) | 立石, 孝彰; 青木, 利晃; 片山, 卓也; TATEISHI, TAKAAKI; AOKI, TOSHIAKI; KATAYAMA, TAKUYA |
| 27-Oct-2012 | 中小企業の医療機器分野参入における医工連携に関する研究 : 医工連携を捉える分析的視点の検討，及び事例分析 | 西平, 守秀 |
| 15-Oct-2002 | 将棋種の歴史的変遷の解析(<特集>ゲームプログラミング) | 佐々木, 宣介; 飯田, 弘之; SASAKI, NOBUSUKE; IIDA, HIROYUKI |
| 2-Nov-2013 | 技術開発戦略が企業パフォーマンスに与える影響の定量分析 | 枝村, 一磨; 古澤, 陽子; 米山, 茂美 |
| 2-Nov-2013 | 産学共創イノベーションの深化に向けて | 福田, 佳也乃; 吉川, 誠一 |
| 2-Nov-2013 | 政策形成における経済的・社会的効果の分析結果活用の仕組みについて | 松尾, 敬子; 安部, 元泰; 星野, 悠哉; 己斐, 裕一 |
| 2-Nov-2013 | FIRSTプログラムにおける公開活動 (一般シンポジウム)の実施とその意義 | 小長井, 敬介; 小泉, 輝武 |
| 15-Sep-2004 | 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論) | 金藤, 栄孝; 二木, 厚吉; KONDOH, HIDETAKA; FUTATSUGI, KOKICHI |
| 22-Mar-2005 | モバイルエージェント・セキュリティに関する一考察 | 森, 正行; 双紙, 正和; 宮地, 充子; MORI, Masayuki; SOHSI, Masakazu; MIYAJI, Atsuko |
前へ
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
次へ
|
