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

JAIST Repository >

一覧: 日付

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

検索結果: 11655-11675 / 18593.

前ページ 次ページ
発行日タイトル 著者
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 数理的技法普及のために求められる技術と教育木下, 佳樹
6-Sep-2007 JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用片山, 卓也
Sep-2007 シンポジウム : 国際観光地の21世紀ビジョン : 美しい日本の再生と観光交流敷田, 麻実; ロス, フィンドレー; マリ, クリスティーヌ
Sep-2007 Tyrolean termination tool: Techniques and featuresHirokawa, Nao; Middeldorp, Aart
Sep-2007 プログラム
Sep-2007 文法化の構成的モデル化 －進化言語学からの考察－橋本, 敬; 中塚, 雅也
Sep-2007 A knowledge management system for dynamic organizational knowledge circulationHirai, Chiaki; Uchida, Yoshinobu; Fujinami, Tsutomu
Sep-2007 Agent-based simulation for Kansei Engineering: Testing a fuzzy linear quantification method in an artificial worldMa, Tieju; Nakamori, Yoshiteru
Sep-2007 RFID-enabled Target Tracking and Following with a Mobile Robot Using Direction Finding AntennasKim, Myungsik; Chong, Nak Young; Ahn, Hyo-Sung; Yu, Wonpil
Sep-2007 Consensus-making Support Systems dedicated to Creative Problem SolvingKunifuji, Susumu; Kato, Naotaka
Sep-2007 Decision making under uncertainty with fuzzy targetsHuynh, Van-Nam; Nakamori, Yoshiteru; Ryoke, Mina; Ho, Tu-Bao
前ページ 次ページ

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