JAIST Repository >
検索結果
検索結果表示: 7801-7810 / 7845.
該当アイテム:
発行日 | タイトル |
著者 |
Mar-2013 | 形式手法を用いた手順書の解析 | 穐山, 周平; あきやま, しゅうへい |
30-Jul-2011 | The role of production fragmentation in the international business cycle synchronization in East Asia | Takeuchi, Fumihide |
30-Mar-2009 | 視覚情報を補完する静穏並列型音情報システム | 宮地, 泰造; 田窪, 勇人; 渡辺, 正介; Miyachi, Taizo; Takubo, Hayato; Watanabe, Shosuke |
14-Nov-2012 | JAIST NOW No.11 (2012 Autumn) | |
Mar-2016 | 事業の持続可能性を高める高付加価値対人サービス深化モデルの研究 | 杉山, 大輔; すぎやま, だいすけ |
Mar-2023 | 計算可能性と複雑さに関する研究:ラムダ計算の新しいモデルと有用な情報の定義について | Marlou Mathilde, Gijzen; まるう ましるで, はいぜん |
16-Apr-2018 | 北陸先端科学技術大学院大学 共有計算サーバ使用成果報告 2015-2016 | 井口, 寧; 本郷, 研太; 宮下, 夏苗; 宮下 夏苗/井口 寧(編) |
24-Mar-1997 | Constructing a support environment for cooperative works over computer network by integrating software process enactment support and communication support | Ochimizu, Koichiro; 落水, 浩一郎 |
Jul-1994 | 投稿行動から見た電子ニュースfj | 佐藤, 円; 篠田, 陽一 |
20-Nov-2007 | MDAフレームワークのEDA分野への適用 | 岩政, 幹人; 落水, 浩一郎 |
前へ
772
773
774
775
776
777
778
779
780
781
782
783
784
785
次へ
|