close
1.

図書
図書
1. Lectures on probability theory and statistics : École d'été de probabilités de Saint-Flour XXVII--1997
J. Bertoin, F. Martinelli, Y. Peres ; editor, Pierre Bernard
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in mathematics ; 1717
所蔵情報: loading…
2.

図書
図書
2. Elemental methods in ergodic Ramsey theory
Randall McCutcheon
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in mathematics ; 1722
所蔵情報: loading…
3.

図書
図書
3. Ramanujan's notebooks (pt. 1 - pt. 5 : softcover)
Bruce C. Berndt
出版情報: New York ; Tokyo : Springer-Verlag, c1985-1998
所蔵情報: loading…
4.

図書
図書
4. Lectures on probability theory and statistics : Ecole d'Eté de probabilités de Saint-Flour XXVI--1996
E. Giné, G.R. Grimmett, L. Saloff-Coste ; editor, P. Bernard
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in mathematics ; 1665
所蔵情報: loading…
5.

図書
図書
5. First-order logic and automated theorem proving. 2nd ed
Melvin Fitting
出版情報: New York : Springer-Verlag, c1996
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
6.

図書
図書
6. Illustrated mathematics : visualization of mathematical objects with Mathematica
Oliver Gloor, Beatrice Amrhein, Roman E. Maeder
出版情報: Santa Clara, CA : TELOS, c1995
所蔵情報: loading…
7.

図書
図書
7. The uncertain reasoner's companion : a mathematical perspective
J. B. Paris
出版情報: Cambridge : Cambridge University Press, 1994
シリーズ名: Cambridge tracts in theoretical computer science ; 39
所蔵情報: loading…
8.

図書
図書
8. Проблемы теории вероятностных распределений (2 - 13)
сборник работ под редакцией В. Н. Судакова
出版情報: Ленинград : Наука, 1974-
シリーズ名: Записки научных семинаров ЛОМИ ; т. 41, 72, 97, 130, 142, 158, 177, 216
所蔵情報: loading…
9.

図書
図書
9. Eurocode '92 : International Symposium on Coding Theory and Applications (: Wien ; : New York)
edited by P. Camion, P. Charpin, S. Harari
出版情報: Wien : Springer, c1993
シリーズ名: CISM courses and lectures ; no. 339
所蔵情報: loading…
10.

図書
図書
10. Many-sorted logic and its applications
edited by K. Meinke and J.V. Tucker
出版情報: Chichester ; New York : Wiley, c1993
シリーズ名: Wiley professional computing
所蔵情報: loading…