JAIST Repository >

検索結果

 
全て 教員登録文献  

検索結果表示: 191-200 / 1951.


該当アイテム:

発行日タイトル 著者
1-Jul-1995 適応的な連続メディアオブジェクトを扱うためのオペレーティングシステム中島, 達夫; Nakajima, Tatsuo; ナカジマ, タツオ
17-Oct-1995 A relationship between the number of negations and the circuit sizeTanaka, Keisuke; Nishino, Tetsuro; 田中, 圭介; 西野, 哲朗; タナカ, ケイスケ; ニシノ, テツロウ
7-Sep-1995 Minimizing the range of lateness on a single machine under generalized due datesTanaka, Keisuke; Vlach, Milan; 田中, 圭介; タナカ, ケイスケ
3-Jul-1995 パーソナル連続メディア処理に適したストレージシステム手塚, 宏史; 中島, 達夫; Tezuka, Hiroshi; Nakajima, Tatsuo; テズカ, ヒロシ; ナカジマ, タツオ
31-Jul-1995 Computer performance of piano music with normative performance dataHoshishiba, Takayuki; Horiguchi, Susumu; Fujinaga, Ichiro; 星芝, 貴行; 堀口, 進; ホシシバ, タカユキ; ホリグチ, ススム; フジナガ, イチロウ
14-Nov-1995 A scalable disk system with data reconstruction functionsYokota, Haruo; Mimatsu, Yasuyuki; 横田, 治夫; 味松, 康行; ヨコタ, ハルオ; ミマツ, ヤスユキ
28-Apr-1995 A construction of codes with exponential error bounds on arbitrary discrete memoryless channelsUyematsu, Tomohiko; Okamoto, Eiji; 植松, 友彦; 岡本, 栄司; ウエマツ, トモヒコ; オカモト, エイジ
3-Jul-1995 連続メディア処理に適した仮想記憶システム手塚, 宏史; 中島, 達夫; Tezuka, Hiroshi; Nakajima, Tatsuo; テズカ, ヒロシ; ナカジマ, タツオ
Dec-1995 Po-hyperdoctrinal semantics for substructural predicate logicsShirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ
30-Aug-1995 Unique normal proof property for implicational minimal formulas in the intuitionistic logicAoto, Takahito; 青戸, 等人; アオト, タカヒト

前へ 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 次へ

 


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