|
JAIST Repository >
一覧: 日付
検索結果: 1985-2005 / 2071.
発行日 | タイトル |
著者 |
14-Mar-1995 | Approximating set cover via local improvements | Halldorsson, Magnus M. |
28-Feb-1995 | ハイパーカードを利用した漢字学習支援システム | 寺, 朱美; 桑山, 正彦; 海谷, 治彦; 落水, 浩一郎 |
15-Jan-1995 | 状況理論による法的推論の形式化 | 東条, 敏; WONG, STEPHEN; 新田, 克己; 横田, 一正; Tojo, Satoshi; Wong, Stephen; Nitta, Katsumi; Yokota, Kazumasa |
1995 | Speaker individualities in speech spectral envelopes | Kitamura, Tatsuya; Akagi, Masato |
11-Nov-1994 | 北陸先端科学技術大学院大学情報科学センタ利用の手引 | 志田, 和人; 河瀬, 剛; 宮崎, 純; 井口, 寧 |
9-Nov-1994 | DR-netにおけるパリティ配置/データ再構築戦略の影響 | 味松, 康行; 横田, 治夫; Mimatsu, Yasuyuki; Yokota, Haruo; ミマツ, ヤスユキ; ヨコタ, ハルオ |
30-Sep-1994 | Interpretations of the quantum theory and NP-complete problems | Mihara, Takashi; Nishino, Tetsuro; 三原, 孝志; 西野, 哲朗; ミハラ, タカシ; ニシノ, テツロウ |
11-Aug-1994 | Uniqueness of normal proofs in {→,∧}-fragment of NJ | Aoto, Takahito; Ono, Hiroakira |
15-Jul-1994 | Rule-dynamicsの定式化,及びその記述能力の情報理論的側面 | 佐野, 彰; Sano, Akira; サノ, アキラ |
6-Jul-1994 | Recovery management in multiversion objects | Nakajima, Tatsuo; 中島, 達夫; ナカジマ, タツオ |
6-Jul-1994 | Real-time machの現状と将来 | 中島, 達夫; Nakajima, Tatsuo; ナカジマ, タツオ |
6-Jul-1994 | Design and implementation of a user-level real-time network engine | Nakajima, Tatsuo; Tokuda, Hideyuki; 中島, 達夫; ナカジマ, タツオ; トクダ, ヒデユキ |
6-Jul-1994 | Experience with real-time mach for writing continuous media applications and servers | Nakajima, Tatsuo; Tezuka, Hiroshi; 中島, 達夫; 手塚, 宏史; ナカジマ, タツオ; テズカ, ヒロシ |
6-Jul-1994 | Using object-oriented techniques in microkernel based operating systems | Nakajima, Tatsuo; 中島, 達夫; ナカジマ, タツオ |
6-Jul-1994 | オブジェクト指向に基づくモーバイルコンピューティングに適したカスタマイズ可能なOS構築のための枠組 | 保木本, 晃弘; 中島, 達夫; Hokimoto, Akihiro; Nakajima, Tatsuo; ホキモト, アキヒロ; ナカジマ, タツオ |
6-Jul-1994 | Design and implementation of a continuous media storage system on real-time mach | Tezuka, Hiroshi; Nakajima, Tatsuo; 手塚, 宏史; 中島, 達夫; テズカ, ヒロシ; ナカジマ, タツオ |
Jul-1994 | 投稿行動から見た電子ニュースfj | 佐藤, 円; 篠田, 陽一 |
Jul-1994 | Automatic generation of digests for meeting announcements in the NetNews | Sato, Madoka; Sato, Satoshi; Shinoda, Yoichi |
12-May-1994 | 非同期・分散型会議における協調活動の支援法 | 門脇, 千恵; 落水, 浩一郎 |
May-1994 | Similarity on algebraic specifications toward specification databases | Sakai, Masahiko; Matsui, Soichi; Kawakita, Makoto; Agusa, Kiyoshi; 酒井, 正彦; サカイ, マサヒコ; マツイ, ソウイチ; カワキタ, マコト; アグサ, キヨシ |
20-Apr-1994 | オブジェクト指向モデルの実装に関する考察 | 味松, 康行; Mimatsu, Yasuyuki; ミマツ, ヤスユキ |
|