1.

図書
図書
1. Algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991
edited by C. Brezinski, U. Kulisch
出版情報: Amsterdam ; Tokyo : North-Holland, 1992
シリーズ名: Computational and applied mathematics ; 1
所蔵情報: loading…
2.

図書
図書
2. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings (: gw ; : us)
P. Gianni (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 358
所蔵情報: loading…
3.

図書
図書
3. Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985, proceedings (: gw ; : us)
edited by Willard L. Miranker and Richard A. Toupin
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 235
所蔵情報: loading…
4.

図書
図書
4. Annual review of computer science (v. 1 - v. 4)
Joseph F. Traub, editor ; Barbara J. Grosz, associate editor, Butler W. Lampson, associate editor, Nils J. Nilsson, associate editor
出版情報: Palo Alto, Calif. : Annual Review Inc., c1986-<c1990 >
所蔵情報: loading…
5.

図書
図書
5. Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 (U.S. ; Ger.)
edited by P.C. Messina and A. Murli
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 142
所蔵情報: loading…
6.

図書
図書
6. Algorithms and complexity : new directions and recent results
edited by J.F. Traub
出版情報: New York : Academic Press, c1976
所蔵情報: loading…