Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索対象:
検索語

適用済条件:

検索をやり直す

検索条件の追加:

検索結果表示: 1-10 / 544.

前
1
2
3
4
...
55
次

検索結果:

書誌情報	ファイル
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
粘性流体の非定常流れの数値解析アルゴリズム : GSMAC法について(大型の線形計算に関するアルゴリズムの研究) 棚橋, 隆彦; 斉藤, 恒洋 (1985-02) 数理解析研究所講究録, 548: 122-146
POINCARE MAPS OF THE DOUBLE SCROLL Komuro, M.; Matsumoto, T.; Chua, L.O. (1985-12) 数理解析研究所講究録, 574: 126-134
Circuit Simulation Code Generation by Computer Algebra(Software Science and Engineering) Loe, K.G.F.; Ohsawa, N.; Goto, E. (1985-01) 数理解析研究所講究録, 547: 287-302
INEQUALITIES OF ORDERS on LOCAL ANALYTIC ALGEBRAS(C$^\infty$ - maps and their Singularities) Izumi, Shuzo (1985-02) 数理解析研究所講究録, 550: 28-33
Normal Forms for Certain Singularities of Smooth Map-Germs(C$^\infty$ - maps and their Singularities) ICHIKAWA, Fumio (1985-02) 数理解析研究所講究録, 550: 1-27
FINITE DETERMINACY OF EQUIVARIANT MAP GERMS(C$^\infty$ - maps and their Singularities) Roberts, Mark (1985-02) 数理解析研究所講究録, 550: 172-183
C$^0$-sufficiency via blowing-up(C$^\infty$ - maps and their Singularities) Koike, Satoshi (1985-02) 数理解析研究所講究録, 550: 112-122
表紙・目次 (1985-02) 数理解析研究所講究録, 550
INTERNAL REPRESENTATIONS OF FORMULAS IN JAPANESE COMPUTER ALGEBRA SYSTEM GAL(Formula Manipulation and Its Applications to Mathematical Study) Sasaki, Tateaki; Motoyoshi, Fumio (1985-02) 数理解析研究所講究録, 551: 180-191