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

JAIST Repository >

一覧: 日付

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

検索結果: 12099-12119 / 18634.

前ページ 次ページ
発行日タイトル 著者
13-Dec-2006 Possible collaborative "domain" projectsBjorner, Dines
Dec-2006 Glivenko theorems for substructural logics over FLGalatos, Nikolaos; Ono, Hiroakira
Dec-2006 Improving discriminative sequential learning by discovering important association of statisticsPhan, Xuan-Hieu; Nguyen, Le-Minh; Inoguchi, Yasushi; Ho, Tu-Bao; Horiguchi, Susumu
Dec-2006 Environmentally degradable, high-performance thermoplastics from phenolic phytomonomersKaneko, Tatsuo; Tran, Hang Thi; Shi, Dong Jian; Akashi, Mitsuru
Dec-2006 Knowledge-Beat(ナレッジ・ビート) vol.2
Dec-2006 知的障害養護学校における創造性開発に関する研究池田, 利昭; いけだ, としあき
Dec-2006 ３項組知識表現<“動画知”,“自然言語知”,“メタデータ”>とその知識創造支援活動への応用澤井, 進; さわい, すすむ
Dec-2006 Logics of Context. A Channel Theoretic ApproachStijn, De Saeger
Dec-2006 様相演算を持つ部分構造論理の証明論的研究鶴見, 卓哉; つるみ, たくや
Dec-2006 概念間の主題的関連に着目した創造的デザインプロセスの研究原川,　純一; はらかわ,　じゅんいち
30-Nov-2006 地域環境政策に専門家はどうかかわるか : 地域自律型マネジメントとその実現を支援する専門家のかかわり敷田, 麻実; 森重, 昌之
30-Nov-2006 自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）湯浅, 能史; 武山, 誠; 関澤, 俊弦; 田辺, 良則; 高橋, 孝一
30-Nov-2006 A Complete Axiomatic Semantics for the CSP Stable-Failures ModelIsobe, Yoshinao
29-Nov-2006 On-the-fly Model Checking Security Protocols and Its Implementation by MaudeLi, Guoqiang; Ogawa, Mizuhito
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 モデル検査によるアーキテクチャ設計検証岸, 知二
前ページ 次ページ

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