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

JAIST Repository >

一覧: 日付

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

検索結果: 12740-12760 / 19268.

前ページ 次ページ
発行日タイトル 著者
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 モデル検査によるアーキテクチャ設計検証岸, 知二
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
前ページ 次ページ

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