検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$ SEKI, Hiroyuki; TANIGUCHI, Kenichi; KASAMI, Tadao (1988-04) 数理解析研究所講究録, 655: 104-123 |  |
| Algorithmic Construction of the Recursion Operators of Toda and Landau-Lifshitz Equation(Toda Lattice and the Related Topics) Barouch, E.; Fokas, A.S.; Papageorgiou, V.G. (1988-04) 数理解析研究所講究録, 650: 179-195 | |
| Multi-objective Optimization Using Interval Analysis Fujii, Yasuo (1988-11) 数理解析研究所講究録, 673: 40-46 | |
| Predicate/Transition Net Simulation based on Concurrent Prolog(Software Science and Engineering) Mizuba, Hideyo; Harath, Jayantha; Ueda, Kenji; Saito, Nobuo (1985-01) 数理解析研究所講究録, 547: 23-34 | |
| 3次精度上流差分による乱流遷移の数値シミュレーション(流れの不安定性と乱流) 河村, 哲也; 岩津, 玲磨 (1988-06) 数理解析研究所講究録, 661: 53-67 | |
| COMPARISON AND IMPROVEMENT OF STRING MATCHING ALGORITHMS FOR JAPANESE TEXTS YOON, Jeehee; TAKAGI, Toshihisa; USHIJIMA, Kazuo (1986-03) 数理解析研究所講究録, 586: 18-34 | |
| 粘性流体の非定常流れの数値解析アルゴリズム : GSMAC法について(大型の線形計算に関するアルゴリズムの研究) 棚橋, 隆彦; 斉藤, 恒洋 (1985-02) 数理解析研究所講究録, 548: 122-146 | |
| POINCARE MAPS OF THE DOUBLE SCROLL Komuro, M.; Matsumoto, T.; Chua, L.O. (1985-12) 数理解析研究所講究録, 574: 126-134 | |
| ソフトウェア信頼度成長モデルに基づく最適リリース問題(計画数学とその関連分野) 山田, 茂; 尾崎, 俊治 (1989-02) 数理解析研究所講究録, 680: 49-60 | |
| Algebraic Riemann manifolds(Real Algebraic Geometry) YAMATO, KAZUO (1989-05) 数理解析研究所講究録, 690: 61-62 | |
絞り込み
キーワード