一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

一覧: 日付

年月を指定して移動:
年を入力して移動:
降順ソート 昇順ソート

検索結果: 12119-12139 / 18634.

前ページ 次ページ
発行日タイトル 著者
28-Nov-2006 モデル検査によるアーキテクチャ設計検証岸, 知二
28-Nov-2006 A Report of the Current Situation on Software Certification in JapanMizuguchi, Daichi
28-Nov-2006 Anonymous stabilizing leader election using a network sequencerWiesmann, Matthias; Defago, Xavier
27-Nov-2006 Visibly Stack AutomataNguyen, Van Tang; Ogawa, Mizuhito
27-Nov-2006 Parameterized Points-to Analysis for Java based on Weighted Pushdown Model CheckingLi, Xin; Ogawa, Mizuhito
27-Nov-2006 A sequent calculus for Limit Computable MathematicsBerardi, Stefano; Yamagata, Yoriyuki
27-Nov-2006 Agdaコンパイラ—Agate(アガテ)尾崎, 弘幸
24-Nov-2006 On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project managementBjorner, Dines
24-Nov-2006 Toward an automatic reusable software using textual entailmentKotb, Yasser; Katayama, Takuya
20-Nov-2006 離島振興におけるエコツーリズム : 島の未来をエコツーリズムは担うのか敷田, 麻実
1-Nov-2006 OFDM地上波ディジタルテレビ放送信号のFM変調による衛星伝送コイルー, アンワル; 原, 孝雄; 岡田, 実; 山本, 平一; ANWAR, Khoirul; HARA, Takao; OKADA, Minoru; YAMAMOTO, Heiichi
Nov-2006 JAIST Forum 2006 ― Knowledge Creation and Social Innovation ―
Nov-2006 JAISTフォーラム2006 ― 知識創造と社会革新 ― 北陸！地域再生シンポジウム
Nov-2006 北陸MOT改革セミナー 2007 「東京と北陸が連携したMOT改革で、北陸企業の未来を創出する」
21-Oct-2006 文化・技術・経済のマネジメントとしてのコンテンツ政策(科学技術政策と政策論 (2))金, 正勲; 生貝, 直人
21-Oct-2006 宇宙分野の戦略的取組み : ダイナミズムの獲得に向けて(科学技術政策と政策論 (2))熊田, 憲
21-Oct-2006 黄砂現象問題に関する最近の動向 : 自然現象か人為的影響か古くて新しい問題の解決に向けて(科学技術政策と政策論 (2))山本, 桂香
21-Oct-2006 上海市の中小企業政策に関する研究(科学技術政策と政策論 (2))藏, 志勇
21-Oct-2006 エネルギー技術開発プログラムに対する費用効果分析(科学技術政策と政策論 (2))木村, 宰
21-Oct-2006 「忘れられた科学-数学」などから分かった我が国の科学技術政策の課題(科学技術政策と政策論 (2))細坪, 護挙; 伊藤, 裕子; 桑原, 輝隆
21-Oct-2006 LSIの配線設計の課題と設計自動化ツール開発の重要性の考察(国際競争力・産業競争力 (2))野村, 稔
前ページ 次ページ

 
お問合せ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)