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

JAIST Repository >

一覧: 日付

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

検索結果: 17951-17971 / 18591.

前ページ 次ページ
発行日タイトル 著者
28-Aug-1996 Logical semantics for CafeOBJDiaconescu, Razvan; Futatsugi, Kokichi
19-Aug-1996 Top-down labelling and modularity of term rewriting systemsAoto, Takahito; Toyama, Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト
Aug-1996 Common language acquisition by multi-agentsOno, Tetsuo; Tojo, Satoshi; Sato, Satoshi
3-Jul-1996 Self-reconfigurable massively parallel computer on stacked WafersHoriguchi, Susumu; 堀口, 進; ホリグチ, ススム
2-Jul-1996 On some evolutionary implications of the genetic codeMaeshiro, Tetsuya; Kimura, Masayuki; 真栄城, 哲也; 木村, 正行; マエシロ, テツヤ; キムラ, マサユキ
1-Jul-1996 ウェーハスタック構造型自律再構成超並列コンピュータ堀口, 進; Horiguchi, Susumu; ホリグチ, ススム
Jul-1996 Duality in super-intuitionistic and modal predicate logicsShirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ
Jul-1996 ユーザ挙動モデルに基づく組織知識共有支援方法の提案門脇,千恵; 山上,俊彦; 爰川,知宏; 杉田,恵三; 國藤,進
21-Jun-1996 The 3D-mesh array architecture on stacked WafersHoriguchi, Susumu; Numata, Issei; 堀口, 進; 沼田, 一成; ホリグチ, ススム; ヌマタ, イッセイ
20-Jun-1996 A user behavior model of organizational knowledge supportKadowaki, Chie; Yamakami, Toshihiko; Kokogawa, Tomohiro; Sugita, Keizo; Kunifuji, Susumu
14-Jun-1996 An improved strategy for a pursuit-evasion problem on gridsTanaka, Keisuke; 田中, 圭介; タナカ, ケイスケ
Jun-1996 A Deductive Object-Oriented Database System for Situated Inference in LawWong, Stephen; Tojo, Satoshi
31-May-1996 移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ天野, 憲樹; 渡部, 卓雄; Amano, Noriki; Watanabe, Takuo; アマノ, ノリキ; ワタナベ, タクオ
28-May-1996 HR-crossed cube interconnection and WSI implementationHoriguchi, Susumu; Konuki, Masayuki; 堀口, 進; 小貫, 昌幸; ホリグチ, ススム; コヌキ, マサユキ
May-1996 1960年以降の日本の自然海岸の改変の追跡について敷田, 麻実; 小荒井, 衛
May-1996 超高真空STMで安定な原子像を得るためには？－試作と実験のノウハウ (I)－富取, 正彦; Tomitori, Masahiko
May-1996 超並列計算機用プロセッサ結合網SRT　：　ネットワーク特性と故障回避アーキテクチャ井口,寧; 堀口,進
16-Apr-1996 ネットワークを介した協調活動の支援環境川上, 直木; 川瀬, 宏一郎; 小寺, 康男; 鈴木, 大輔; 萩原, 豊隆; 橋本, 雅嗣; 落水, 浩一郎
18-Mar-1996 多視点距離画像に基づく単一参照パターンを用いた3次元物体認識大野, 克俊; 阿部, 亨; Ohno, Katsutoshi; Abe, Toru; オオノ, カツトシ; アベ, トオル
18-Mar-1996 PCTEによるCASEツールの統合とその応用池田, 克則; 落水, 浩一郎
15-Mar-1996 Persistency of confluenceAoto,Takahito; Toyama,Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト
前ページ 次ページ

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