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

JAIST Repository >

一覧: 日付

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

検索結果: 12507-12527 / 19028.

前ページ 次ページ
発行日タイトル 著者
29-Nov-2006 ToyWeb based proverNISHIZAKI, Shin-ya; TAMANO, Hiroshi; SOYAMA, Yusuke
29-Nov-2006 Theorem-proving Privacy and AnonymityKAWABE, Yoshinobu
28-Nov-2006 構成管理モデルFMCのAlloyによる検証Tanizaki, Hiroaki; Katayama, Takuya
28-Nov-2006 A Domain Analysis of Artistic Works and A Digital License LanguageXiang, Jianwen; Bjorner, D.; Chen, X.; Arimoto, Y.; Ogata, K.; Vestergaard, R.; Futatsugi, K.
28-Nov-2006 安心情報システム構築におけるコンポーネント技術の応用 : Development of Information Systems for e-Society with Component Technologies鈴木, 正人
28-Nov-2006 ソフトウェアアカウンタビリティの定義に関する基礎考察落水, 浩一郎
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))金, 正勲; 生貝, 直人
前ページ 次ページ

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