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

JAIST Repository >

一覧: 日付

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

検索結果: 11643-11663 / 18591.

前ページ 次ページ
発行日タイトル 著者
Oct-2007 Supporting Perspective Changes in Graphic CompositionMorita, Junya; Nagai, Yukari; Taura, Toshiharu
10-Sep-2007 Organic Field Effect Transistors with Dipole-Polarized Polymer Gate Dielectrics for Control of Threshold VoltageSakai, Heisuke; Takahashi, Yoshikazu; Murata, Hideyuki
7-Sep-2007 法令実働化情報システムのアカウンタビリティ落水, 浩一郎
7-Sep-2007 法令対象ドメインの形式仕様と検証二木, 厚吉; 緒方, 和博; 有本, 泰仁
7-Sep-2007 社会制度のゴール指向分析山本, 修一郎
7-Sep-2007 法令文書の言語解析島津, 明
7-Sep-2007 法令文書を対象とした論理推論技術東条, 敏
7-Sep-2007 e-legislation : 法制執務の電子化外山, 勝彦
7-Sep-2007 法情報科学 : 人工知能の立場から新田, 克己
7-Sep-2007 実定法の論理構成多賀谷, 一照
7-Sep-2007 JAIST-COEシンポジウム : 法令工学の可能性と展望片山, 卓也
7-Sep-2007 High-current Injection and Transport on Order of kA/cm^2 in Organic Light-emitting Diodes Having Mixed Organic/Organic Heterojunction InterfacesMatsushima, Toshinori; Adachi, Chihaya
6-Sep-2007 モデル検査手法1の普及に関する取り組み青木, 利晃
6-Sep-2007 CVS教程に基づくモデル検査研修コース構築への取組み西原, 秀明
6-Sep-2007 定理証明によるファイアウォールサーバの検証矢竹, 健朗
6-Sep-2007 Analysis of Electronic Commerce Protocols in Algebraic Specification LanguagesOgata, Kazuhiro; Futatsugi, Kokichi
6-Sep-2007 業務フロー図の検証高木, 理; 清野, 貴博; 竹内, 泉; 和泉, 憲明; 高橋, 孝一
6-Sep-2007 マルチタスクソフトウェアの検証法青木, 利晃
6-Sep-2007 形式手法の新展開 : 離散と連続の融合平石, 邦彦
6-Sep-2007 検証ツールの展開とそのカリキュラムでの利用小川, 瑞史
6-Sep-2007 数理的技法普及のために求められる技術と教育木下, 佳樹
前ページ 次ページ

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