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

JAIST Repository >

一覧: 日付

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

検索結果: 18642-18662 / 18997.

前ページ 次ページ
発行日タイトル 著者
28-Oct-1994 プログラム
28-Oct-1994 表紙，日程，会場，実行委員会，奥付
30-Sep-1994 Interpretations of the quantum theory and NP-complete problemsMihara, Takashi; Nishino, Tetsuro; 三原, 孝志; 西野, 哲朗; ミハラ, タカシ; ニシノ, テツロウ
11-Aug-1994 Uniqueness of normal proofs in {→,∧}-fragment of NJAoto, Takahito; Ono, Hiroakira
15-Jul-1994 Rule-dynamicsの定式化,及びその記述能力の情報理論的側面佐野, 彰; Sano, Akira; サノ, アキラ
6-Jul-1994 Recovery management in multiversion objectsNakajima, Tatsuo; 中島, 達夫; ナカジマ, タツオ
6-Jul-1994 Real-time machの現状と将来中島, 達夫; Nakajima, Tatsuo; ナカジマ, タツオ
6-Jul-1994 Design and implementation of a user-level real-time network engineNakajima, Tatsuo; Tokuda, Hideyuki; 中島, 達夫; ナカジマ, タツオ; トクダ, ヒデユキ
6-Jul-1994 Experience with real-time mach for writing continuous media applications and serversNakajima, Tatsuo; Tezuka, Hiroshi; 中島, 達夫; 手塚, 宏史; ナカジマ, タツオ; テズカ, ヒロシ
6-Jul-1994 Using object-oriented techniques in microkernel based operating systemsNakajima, Tatsuo; 中島, 達夫; ナカジマ, タツオ
6-Jul-1994 オブジェクト指向に基づくモーバイルコンピューティングに適したカスタマイズ可能なOS構築のための枠組保木本, 晃弘; 中島, 達夫; Hokimoto, Akihiro; Nakajima, Tatsuo; ホキモト, アキヒロ; ナカジマ, タツオ
6-Jul-1994 Design and implementation of a continuous media storage system on real-time machTezuka, Hiroshi; Nakajima, Tatsuo; 手塚, 宏史; 中島, 達夫; テズカ, ヒロシ; ナカジマ, タツオ
Jul-1994 投稿行動から見た電子ニュースfj佐藤, 円; 篠田, 陽一
Jul-1994 Automatic generation of digests for meeting announcements in the NetNewsSato, Madoka; Sato, Satoshi; Shinoda, Yoichi
12-May-1994 非同期・分散型会議における協調活動の支援法門脇, 千恵; 落水, 浩一郎
May-1994 グレートバリアリーフケアンズセクションのゾーニングプランの変更について敷田, 麻実
May-1994 Similarity on algebraic specifications toward specification databasesSakai, Masahiko; Matsui, Soichi; Kawakita, Makoto; Agusa, Kiyoshi; 酒井, 正彦; サカイ, マサヒコ; マツイ, ソウイチ; カワキタ, マコト; アグサ, キヨシ
20-Apr-1994 オブジェクト指向モデルの実装に関する考察味松, 康行; Mimatsu, Yasuyuki; ミマツ, ヤスユキ
20-Apr-1994 nCUBE2上への並列ハッシュジョインアルゴリズムの実装古野, 真太郎; 横田, 治夫; Furuno, Shintaro; Yokota, Haruo; フルノ, シンタロウ; ヨコタ, ハルオ
Apr-1994 A high-speed best match retrieval method for Japanese textSato, Satoshi; Kawase, Takeshi; 佐藤, 理史; 河瀬, 剛; サトウ, サトシ; カワセ, タケシ
Apr-1994 On Secure and Fast Elliptic Curve Cryptosystems over F_pMIYAJI, Atsuko
前ページ 次ページ

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