JAIST Repository >

検索結果

 
全て 教員登録文献  

検索結果表示: 231-240 / 1951.


該当アイテム:

発行日タイトル 著者
Jan-1998 Conservative extensions in relevant implicational logicsKamide, Norihiro; Kashima, Ryou; 上出,哲広; 鹿島,亮; カミデ, ノリヒロ; カシマ, リョウ
Feb-1998 テキスト自動要約技術の現状と課題奥村, 学; 難波, 英嗣; Okumura, Manabu; Nanba, Hidetsugu; オクムラ, マナブ; ナンバ, ヒデツグ
8-Jun-1998 Network performances of TESH:a new hierarchical interconnection network for 3-D integrationHoriguchi, Susumu; Ooki, Takayuki; Jain, Vijay
May-1998 Embedding symmetric simply typed classical lambda calculus into arrow typed lambda calculas with bottomTanaka, Yoshihito
12-May-1998 Minimizing total completion time in a two-machine no-idle flowshopCepek, Ondrej; Okada, Masanori; Vlach, Milan
17-Sep-1998 A family of substructural logics with restricted/generalized structural rulesKamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ
28-May-1999 地球シミュレータ計画の現状浅野, 俊幸; 堀口, 進; Asano, Toshiyuki; Horiguchi, Susumu; アサノ, トシユキ; ホリグチ, ススム
30-Apr-1999 量子モンテカルロ法による1次元Heisenberg spin modelのシミュレーションおよ宮崎, 裕; Miyazaki, Yutaka; ミヤザキ, ユタカ
26-Mar-1999 順序ソート項書き換え系のソート復元可能に関する研究五百蔵, 重典; Ioroi, Shigenori; イオロイ, シゲノリ
27-Apr-1999 高調波分析による手話単語認識システム鈴木, 信勝; 堀口, 進; Suzuki, Nobukatsu; Horiguchi, Susumu; スズキ, ノブカツ; ホリグチ, ススム

前へ 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 次へ

 


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