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

JAIST Repository >

一覧: 日付

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

検索結果: 13352-13372 / 18667.

前ページ 次ページ
発行日タイトル 著者
22-Oct-2005 日本のイノベーション・システムの現況 : 「全国イノベーション調査」の結果に示される民間企業全体のイノベーション活動に関する分析(ナショナル・イノベーション・システム, 第20回年次学術大会講演要旨集I)伊地知, 寛博; 岩佐, 朋子; 小田切, 宏之; 古賀, 款久; 後藤, 晃; 永田, 晃也
22-Oct-2005 イノベーション活動に関する統計調査の計画と実施 : 「全国イノベーション調査」調査方法論(ナショナル・イノベーション・システム, 第20回年次学術大会講演要旨集I)伊地知, 寛博; 岩佐, 朋子; 小田切, 宏之; 古賀, 款久; 後藤, 晃; 永田, 晃也
22-Oct-2005 ジャーナリストが見た激動の日本 : 急進変化したこの10年 : 誰も予測できないこれからの10年((政策研究大学院大学と共催)「科学技術、この20年の邂逅と今後の展望」, 第20回年次学術大会講演要旨集I)馬場, 錬成
22-Oct-2005 科学技術基本計画に対する提言((政策研究大学院大学と共催)「科学技術、この20年の邂逅と今後の展望」, 第20回年次学術大会講演要旨集I)岸, 輝雄
22-Oct-2005 3科学融合の必要性((政策研究大学院大学と共催)「科学技術、この20年の邂逅と今後の展望」, 第20回年次学術大会講演要旨集I)桑原, 洋
22-Oct-2005 科学技術、この20年の邂逅と今後の展望(2)((政策研究大学院大学と共催)「科学技術、この20年の邂逅と今後の展望」, 第20回年次学術大会講演要旨集I)石田, 寛人
22-Oct-2005 科学技術、この20年の邂逅と今後の展望(1)((政策研究大学院大学と共催)「科学技術、この20年の邂逅と今後の展望」, 第20回年次学術大会講演要旨集I)中島, 邦雄
22-Oct-2005 科学技術、この20年の邂逅と今後の展望
22-Oct-2005 「研究・技術計画学会」20年の歩み : 学際的研究領域は深まってきたか(第20回年次学術大会講演要旨集II)平澤, 泠
22-Oct-2005 日本の科学技術、国家的事業からの視点(政策研究大学院大学と共催, 第20回年次学術大会講演要旨集I)山之内, 秀一郎
22-Oct-2005 プログラム
22-Oct-2005 表紙，会場，日程，実行委員会，奥付
22-Oct-2005 表紙，会場，日程，実行委員会，奥付
Oct-2005 Fabrication of C_<60> field-effect transistors with polyimide and Ba_<0.4>Sr_<0.6>Ti_,<0.96>O_3 gate insulatorsKubozono, Y; Nagano, T; Haruyama, Y; Kuwahara, E; Takayanagi, T; Ochi, K; Fujiwara, A
21-Sep-2005 ACTAS : Automated Verification Based on Equational Tree AutomataOhsaki, Hitoshi
21-Sep-2005 Specification and Verification of Inter-Component Constraints in CTLNguyen, Truong Thang; Katayama, Takuya
21-Sep-2005 A Parametric Model Checking Approach for Real-Time Systems DesignSathawornwichit, Chaiwat
21-Sep-2005 Model Checking Web Specifications : Verification of design specifications for Web applicationsCHOI, Eun-Hye; WATANABE, Hiroshi
21-Sep-2005 An Object-Oriented logic for software analysis and designYatake, Kenro; Aoki, Toshiaki; Katayama, Takuya
21-Sep-2005 A Lightweight Integration of Theorem Proving and Model Checking for System VerificationKong, Weiqiang; Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi
21-Sep-2005 Verifying Specifications with Proof ScoresFUTATSUGI, Kokichi
前ページ 次ページ

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