|
JAIST Repository >
検索結果
検索結果表示: 6211-6220 / 8709.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 12-Oct-2008 | 産学連携を担う人材育成（産学連携プロ人材養成）の取り組み | 美濃地, 研一 |
| 31-May-2017 | 高階プログラミング言語で記述された大規模ソフトウェアの検証 | 寺内, 多智弘; Terauchi, Tachio |
| Mar-2009 | Cellプロセッサ用プログラム検証法 | レ, ディンスアン; れ, でぃんすあん |
| 7-Mar-2007 | 法令文書の自然言語処理 | 島津, 明 |
| 6-Sep-2007 | 形式手法の新展開 : 離散と連続の融合 | 平石, 邦彦 |
| Sep-2009 | オープンソース・エコシステムにおける協創の構造 - Eclipseのケーススタディ - | 水島, 和憲; みずしま, かずのり |
| 10-Jun-2010 | 複雑経済現象の物理的モデル 【改訂第三版】 | 堀, H. 信三; 中森, 義輝; HORI, Shinzoh Hide; NAKAMORI, Yoshiteru |
| 26-May-2010 | 項書き換えに基づく計算量解析の自動化 | 廣川, 直; HIROKAWA, NAO |
| 24-Oct-2009 | サービスサイエンスからみた医療の概念形成とシステムモデルの提案 | 香月, 祥太郎; 佐藤, 信紘 |
| Mar-2014 | データマイニングを用いた量子計算データからの二元合金の物性予測 | 鈴木, 大輔; すずき, だいすけ |
前へ
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
次へ
|
