検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| A Variable Priority Queue and its Applications Suzuki, Hitoshi; Nishizeki, Takao; Saito, Nobuji (1987-05) 数理解析研究所講究録, 625: 176-185 |  |
| Counterexamples to Termination for the Direct Sum of Term Rewriting Systems TOYAMA, Yoshihito (1987-05) 数理解析研究所講究録, 625: 242-246 | |
| Exponential Speedup by Vector Operations Iwama, Kazuo (1987-05) 数理解析研究所講究録, 625: 132-136 | |
| Generation of Rewriting Programs from Horn Clause Specifications TOGASHI, Atsushi; MANSFIELD, Glenn; NOGUCHI, Shoichi (1987-05) 数理解析研究所講究録, 625: 87-97 | |
| Fredkinの論理ゲートを用いた可逆的Turing機械の設計(計算アルゴリズムの基礎理論) 後野, 由文; 森田, 憲一 (1987-05) 数理解析研究所講究録, 625: 1-10 | |
| 対象集合によるネットワークデータベースの設計(計算アルゴリズムの基礎理論) 古川, 哲也; 上林, 彌彦 (1987-05) 数理解析研究所講究録, 625: 21-30 | |
| DEADLOCK AVOIDANCE AND CONSISTENCY IN DATABASE SYSTEM Khanobthamchai, Prasert; Okui, Jun (1987-05) 数理解析研究所講究録, 625: 11-20 | |
| 表紙・目次 (1987-05) 数理解析研究所講究録, 625 | |
| 多次元プロセッサ配列上の並列ソートと時間計算量(計算アルゴリズムの基礎理論) 嵯峨, 幸治; 佐渡, 一広; 五十嵐, 善英 (1987-05) 数理解析研究所講究録, 625: 216-225 | |
| シストリックアルゴリズムの定式化とその結線構造(計算アルゴリズムの基礎理論) 阿曽, 弘具; 稲垣, 康善 (1987-05) 数理解析研究所講究録, 625: 206-215 | |