|
|
JAIST Repository >
一覧: 日付
検索結果: 1865-1885 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| 7-Oct-1997 | Hilbert style proof system for BPL | Suzuki, Yasuhito; Ono, Hiroakira |
| 6-Oct-1997 | EDR電子化辞書検索システム「GAEA」version1.0β 使用説明書 | 太田, 千晶; 藤原, 滋; 本田, 岳夫; 徳田, 昌晃; 近藤, 恵子; 望月, 源; 片山, 研一; Oota, Chiaki; Fujiwara, Shigeru; Honda, Takeo; Tokuda, Masaaki; Kondou, Keiko; Mochizuki, Hajime; Katayama, Kenichi; Okumura, Manabu; オオタ, チアキ; フジワラ, シゲル; ホンダ, タケオ; トクダ, マサアキ; コンドウ, ケイコ; モチヅキ, ハジメ; カタヤマ, ケンイチ; オクムラ, マナブ |
| 11-Sep-1997 | モーバイルコンピューティングのための動的適応可能なソフトウエアアーキテクチャ | 中島, 達夫; Nakajima, Tatsuo; ナカジマ, タツオ |
| 11-Sep-1997 | 適応可能なアプリケーションの構築を支援する環境サーバ | 中島, 達夫; 会津, 宏幸; 小林, 勝; 嶋本, 堅司; Nakajima, Tatsuo; Aizu, Hiroyuki; Kobayashi, Masaru; Shimamoto, Kenji; ナカジマ, タツオ; アイズ, ヒロユキ; コバヤシ, マサル; シマモト, ケンジ |
| Sep-1997 | A family of substructural implicational logics | Kashima, Ryo; Kamide, Norihiro |
| 21-Aug-1997 | Robust visual servo control of planar manipulators under the eye-in-hand configurations | Maruyama, Akira; Fujita, Masayuki |
| 13-Aug-1997 | The equivalence of the reductions with the E-strategy with and without marks | Nagaya, Takashi; Matsumoto, Michihiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-Aug-1997 | Tree lifting orderings for termination transformations of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito |
| 1-Aug-1997 | Extra theory morphisms for institutions : logical semantics for multi-paradigm languages | Diaconescu, Razvan |
| Aug-1997 | Monadic version of Glivenko's theorem | Bezhanishvili, Guram |
| 25-Jul-1997 | Single-machine sceduling with fuzzy precedence constraints | Levner, Eugene; Vlach, Milan |
| 25-Jul-1997 | Second order tangent sets and optimality conditions | Cambini, Alberto; Martein, Laura; Vlach, Milan |
| 21-Jul-1997 | Neuronal cell model with the synaptic interaction, Part 1: neuronal cell modeling and the analysis of single input/output properties | Sano, Akira |
| 7-Jul-1997 | Discrete-time system analysis using constrained positively invariant set | Hirata, Kenji; Fujita, Masayuki |
| 18-Jun-1997 | Performance evaluation of interconnection network for large disk sysyems | Mimatsu, Yasuyuki; Yokota, Haruo |
| 7-Jun-1997 | AHP支援ソフトウエアAHP-aid操作マニュアル | 加藤, 直孝; Katou, Naotaka; カトウ, ナオタカ |
| 6-Jun-1997 | ピアノ曲奏者の演奏ルール抽出と自動演奏 | 星芝, 貴行; 堀口, 進; Hoshishiba, Takayuki; Horiguchi, Susumu; ホシシバ, タカユキ; ホリグチ, ススム |
| 2-Jun-1997 | On solving the max-min 0-1 knapsack problem | Iida, Hiroshi |
| 23-May-1997 | ピアノ演奏における音楽要素と聴取印象との関係 | 吉田, 貴子; 堀口, 進; Yoshida, Takako; Horiguchi, Susumu; ヨシダ, タカコ; ホリグチ, ススム |
| 23-May-1997 | 超並列シミュレーションとビジュアライゼーション | 堀口, 進; 井口, 寧; 山森, 一人; 林, 亮子; 加藤, 聡 |
| 20-May-1997 | 計算機を介した共同作業の評価と共同ソフトウエア開発におけるグループウエア利用の検討 | 村越, 広亨; 海谷, 治彦; 落水, 浩一郎 |
|
