|
|
JAIST Repository >
一覧: タイトル
検索結果: 17112-17132 / 18593.
| 発行日 | タイトル |
著者 |
|---|
| Dec-2019 | 訪日中国人観光客を対象とした日本酒に対する消費者行動分析 | 陳, 瑋; ちん, い |
| Mar-2017 | 訪日旅行者向けバス乗り間違え回避・対処支援システム | 王, 睿; おう, えい |
| Mar-2025 | 設備工事における施工管理ノウハウの知識継承―動画とワークショップによる経験学習手法の提案― | 甚野, 伸雄; じんの, のぶお |
| 26-Oct-2024 | 設置法及び施行令に着目した主要政策の省庁間関連性に関する分析 | 井上, 悟志 |
| 21-Oct-2006 | 設計と生産の連携強化のための生産技術マネジメント (第2報)(技術経営 (2)) | 清野, 武寿 |
| 22-Oct-2005 | 設計と生産の連携強化のための生産技術マネジメント(技術経営, 第20回年次学術大会講演要旨集I) | 清野, 武寿; 丹羽, 清 |
| 15-Aug-1995 | 設計の上流工程支援を考慮した設計・製造プロセス統合支援システム | 金井, 秀明; 若林, 伸和; 本多, 中二; Kanai, Hideaki; Wakabayashi, Nobukazu; Honda, Nakaji |
| 22-Oct-1993 | 設計プロセスの改革 : Virtual Engineering | 沼田, 潤 |
| Mar-2009 | 設計モデル上でのメモリ量見積もりに関する研究 | 山下, 幸之輔; やました, こうのすけ |
| 10-Oct-2015 | 診療放射線技師の能力開発について : チーム医療への貢献を念頭に | 片桐, 邦彦; 名取, 隆 |
| Sep-2021 | 証拠推論と統合された質量推定に基づく外れ値の検出とクラスの不均衡 | HOANG, Anh; ほあん, あん |
| 10-Apr-2010 | 証明スコアによる問題モデルの検証技術 | 二木, 厚吉; FUTATSUGI, KOKICHI |
| Sep-2021 | 証明スコア法による形式検証の調査研究及び新規事例 [課題研究報告書] | 浅江, 尚輝; あさえ, なおき |
| 18-May-2016 | 証明スコア法に基づく革新的仕様検証システムの構築 | 二木, 厚吉; Kokichi, Futatsugi |
| Mar-2002 | 証明可能な意思付多重署名方式に関する研究 | 河内, 恵; かわうち, けい |
| 10-Apr-2009 | 証明支援系とモデル検査器を効果的に利用できる環境と方法論 | 緒方, 和博; OGATA, KAZUHIRO |
| Jun-2019 | 証明数を用いたゲーム木探索の新たなパラダイム | 張, 嵩; ちょう, すう |
| Mar-2005 | 証明数・反証明数を用いた罰回避政策形成アルゴリズムの高速化に関する研究 | 登, 崇志; のぼり, たかし |
| Mar-2002 | 証明論的手法を用いた部分構造論理間の埋め込みに関する研究 | 松田, 真由美; まつだ, まゆみ |
| Mar-2011 | 証明譜を用いたバケット同期法の形式検証 | 永浦, 尊信; ながうら, たかのぶ |
| 21-Oct-2006 | 評価人材の専門性 : 知識論的枠組みと区分概念化(評価 (2)) | 平澤, 泠; 田原, 敬一郎; 川島, 啓; 野呂, 高樹 |
|
