|
|
JAIST Repository >
一覧: タイトル
検索結果: 12285-12305 / 18593.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2011 | 形式手法に基づくビジネスプロセスのリスクリカバリー手法 | 大井, 聡史; おおい, さとし |
| 6-Sep-2007 | 形式手法の新展開 : 離散と連続の融合 | 平石, 邦彦 |
| 1-Jun-2015 | 形式手法の統合によるシームレスなソフトウェア開発手法の提案 | 青木, 利晃; Aoki, Toshiaki |
| Mar-2013 | 形式手法を用いた手順書の解析 | 穐山, 周平; あきやま, しゅうへい |
| Sep-2022 | 形式検証ツールの並列化 | DO, Minh Canh; ど, みん かん |
| Mar-1998 | 形式的オブジェクト指向分析モデルＦＯ∀Ｍの構築法とその支援環境 | 古川, 順一; ふるかわ, じゅんいち |
| Mar-2003 | 形式的オブジェクト指向方法論を用いた携帯情報端末の開発実験 | 濱崎, 章光; はまさき, あきみつ |
| 14-Jun-2011 | 形式的検証とウェブオントロジーの融合による大規模情報システム設計支援 | 高木, 理; Takaki, Osamu |
| 28-Oct-2017 | 形式的評価から実質評価への移行が必要な研究政策 | 大岩, 元 |
| 3-Jun-2016 | 形式証明の理論依存性解析とその計算可能証明発見への応用 | 小川, 瑞史; Ogawa, Mizuhito |
| 20-May-2011 | 形態が異なるコミュニケーションの反復による議論の活性化と多視点化の可能性に関する検討 | 千葉, 慶人; 西本, 一志; Chiba, Yoshihito; Nishimoto, Kazushi |
| Mar-2012 | 形態学的計測に基づく発話機構モデルの個人化 | 西村, 奈々; にしむら, なな |
| Mar-2022 | 形態的なアプローチによるソフトロボットの構造的なダメージへの補償：ウィスカーセンサーの場合 | Nguyen, Huu Nhan; ぐえん, ふー なん |
| Mar-2002 | 形状特徴SIMSに基づく3次元画像の角構造解析 | 入山, 彰夫; いりやま, あきお |
| 5-Sep-2013 | 役に立つオントロジー工学 | 溝口, 理一郎 |
| Mar-2006 | 待ち時間でのアンケートを利用した初期段階コミュニケーションの促進 | 笹岡, 保紀; ささおか, やすのり |
| Mar-2003 | 待ち状況における個人適応型情報提供システムの構築とその効果に関する研究 | 森田, 篤史; もりた, あつし |
| Mar-2004 | 後周期遷移金属－非対称二座配位子錯体を触媒とする炭素－炭素結合形成反応の開発 | 大塚, 秀仁; おおつか, ひでひと |
| Mar-2000 | 後期パースにおける仮説選択基準としての内在的価値 | 村中, 達矢; むらなか, たつや |
| 18-Oct-2014 | 後期中等教育から高等教育に到る期間における、人材育成取り組みに関する工夫について : 特に女性人材育成支援の観点から | 若月, 聡; 若月, 温美 |
| 5-Nov-2016 | 後期中等教育と高等教育の連携に関する研究 | 若月, 聡; 若月, 温美 |
|
