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. 基礎からわかる数・数式と図形の英語 : 豊富な用語と用例
銀林浩, 銀林純著
出版情報: 東京 : 日興企画, 1999.7
所蔵情報: loading…
4.

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

図書
図書
5. 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…
6.

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

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

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

図書
図書
9. Mathematica事典
N. ブラックマン著 ; 新井宏二, 川幡太一, 松井康範訳
出版情報: 東京 : トッパン, 1994.11
所蔵情報: loading…
10.

図書
図書
10. 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…
11.

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

図書
図書
12. Classical recursion theory : the theory of functions and sets of natural numbers (: pbk.)
Piergiorgio Odifreddi
出版情報: Amsterdam ; Tokyo : North-Holland, 1992
シリーズ名: Studies in logic and the foundations of mathematics ; v. 125
所蔵情報: loading…
13.

図書
図書
13. Discrete mathematics : an introduction for software engineers (: pbk)
Mike Piff
出版情報: Cambridge ; New York : Cambridge University Press, 1991
所蔵情報: loading…
14.

図書
図書
14. World directory of mathematicians. 9th ed (1990)
International Mathematical Union
出版情報: Helsinki : Publisehd under the auspices of International Mathematical Union , Providence, R.I. : Distributed by American Mathematical Society, c1990
所蔵情報: loading…
15.

図書
図書
15. Proceedings : the Fifteenth International Symposium on Multiple-Valued Logic (: pbk)
sponsoring organizations, Multiple-Valued Logic Technical Committe ... [et al.]
出版情報: Silver Spring, Md. : IEEE Computer Society Press, c1985.
所蔵情報: loading…
16.

図書
図書
16. Proceedings : the Fourteenth International Symposium on Multiple-Valued Logic (: pbk)
sponsoring organizations, Multiple-Valued Logic Technical Committe ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984
所蔵情報: loading…
17.

図書
図書
17. Frege conference 1984 : proceedings of the international conference held at Schwerin(GDR), September 10-14, 1984
edited by Gerd Wechsung
出版情報: Berlin : Akademie-Verlag, 1984
シリーズ名: Mathematical research = Mathematische Forschung ; Bd. 20
所蔵情報: loading…
18.

図書
図書
18. Séminaire de probabilités XVII 1981/82 : proceedings (: Berlin ; : New York)
édité par J. Azéma et M. Yor
出版情報: Berlin ; New York : Springer Verlag, 1983
シリーズ名: Lecture notes in mathematics ; 986
所蔵情報: loading…
19.

図書
図書
19. World directory of mathematicians. 7th ed (1982)
International Mathematical Union
出版情報: Kyoto: Bureau of the World Directory of Mathematicians, International Mathematical Union , [Helsinki] : Published under the auspices of International Mathematical Union , Providence, R.I. : Distributed by American Mathematical Society, c1982-
所蔵情報: loading…
20.

図書
図書
20. Proceedings : the Eleventh International Symposium on Multiple-Valued Logic, May 27-29, 1981, Lincoln Plaza Inn, Oklahoma City, University of Oklahoma, Norman Oklahoma
sponsoring organizations, IEEE, IEEE Computer Society, the University of Oklahoma
出版情報: New York, NY : the Institute of Electrical and Electronics Engineers, Inc., c1981 , Los Angeles, CA : Order from IEEE Computer Society , Piscataway, NJ : Order from IEEE Service Center
所蔵情報: loading…
21.

図書
図書
21. Séminaire Bourbaki vol. 1979/80, exposés 543-560 : avec table par noms d'auteurs de 1967/68 à 1979/80 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin ; Heidelberg ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 842
所蔵情報: loading…
22.

図書
図書
22. Séminaire Bourbaki vol. 1980/81, exposés 561-578 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 901
所蔵情報: loading…
23.

図書
図書
23. Séminaire de probabilités XV 1979/80 : avec table générale des exposés de 1966/67 à 1978/79 (: Berlin ; : New York)
edité par J. Azéma et M. Yor
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 850
所蔵情報: loading…
24.

図書
図書
24. Padé approximation and its applications, Amsterdam 1980 : proceedings of a conference held in Amsterdam, the Netherlands, October 29-31, 1980 (: Berlin ; : New York)
edited by M.G. de Bruin and H. van Rossum
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 888
所蔵情報: loading…
25.

図書
図書
25. Propositional extensions of L[ω1ω] (pbk.)
Richard Gostanian and Karel Hrbacek
出版情報: Warszawa : Państwowe Wydawn. Naukowe : [available from Ars Polona], 1980
シリーズ名: Dissertationes mathematicae ; 169
所蔵情報: loading…
26.

図書
図書
26. Séminaire Pierre Lelong - Henri Skoda (Analyse) Années 1978/79 (: Berlin ; : New York)
edité par Pierre Lelong et Henri Skoda
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in mathematics ; 822
所蔵情報: loading…
27.

図書
図書
27. Séminaire Bourbaki vol. 1978/79, exposés 525-542 : avec table par noms d'auteurs de 1967/68 à 1978/79 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in mathematics ; 770
所蔵情報: loading…
28.

図書
図書
28. Séminaire de probabilités XIV 1978/79 (: Berlin ; : New York)
edité par J. Azéma et M. Yor
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in mathematics ; 784
所蔵情報: loading…
29.

図書
図書
29. World directory of mathematicians (1974 ; 1979)
International Mathematical Union
出版情報: Uppsala : The International Mathematical Union ; Almqvist & Wiksell, 1974-
所蔵情報: loading…
30.

図書
図書
30. Index of mathematical papers (vol. 9, part 1)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1979
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 53 and 54 (1977), author/key index
An annual index to Mathematical reviews volumes 53 and 54 (1977), author/key index
31.

図書
図書
31. Index of mathematical papers (vol. 9, part 2)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1979
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 53 and 54 (1977), subject index
An annual index to Mathematical reviews volumes 53 and 54 (1977), subject index
32.

図書
図書
32. Séminaire Bourbaki vol. 1976/77, exposés 489-506 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in mathematics ; 677
所蔵情報: loading…
33.

図書
図書
33. Introduction to university mathematics (:boards ; :unibook)
J.L. Smyrl
出版情報: London : Hodder and Stoughton, c1978
所蔵情報: loading…
34.

図書
図書
34. Index of mathematical papers (vol. 8, part 1)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1978
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 51 and 52 (1976), author/key index
An annual index to Mathematical reviews volumes 51 and 52 (1976), author/key index
35.

図書
図書
35. Index of mathematical papers (vol. 8, part 2)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1978
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 51 and 52 (1976), subject index
An annual index to Mathematical reviews volumes 51 and 52 (1976), subject index
36.

図書
図書
36. Séminaire Bourbaki vol. 1975/76, exposés 471-488 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin : Springer-Verlag, 1977
シリーズ名: Lecture notes in mathematics ; 567
所蔵情報: loading…
37.

図書
図書
37. Computer science and multiple-valued logic : theory and applications
edited by David C. Rine
出版情報: Amsterdam : North-Holland, 1977
所蔵情報: loading…
38.

図書
図書
38. Index of mathematical papers (vol. 7, part 1)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1977
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 49 and 50 (1975), author/key index
An annual index to Mathematical reviews volumes 49 and 50 (1975), author/key index
39.

図書
図書
39. Index of mathematical papers (vol. 7, part 2)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1977
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 49 and 50 (1975), subject index
An annual index to Mathematical reviews volumes 49 and 50 (1975), subject index
40.

図書
図書
40. Exploring modern mathematics : teeacher's edition. [4th ed.] (bk. 1 ; bk. 2)
Mervin L. Keedy ... [et al.]
出版情報: New York : Holt, Rinehart And Winston, c1976
所蔵情報: loading…
41.

図書
図書
41. Séminaire Pierre Lelong (analyse) année 1974/75 (: Berlin ; : New York)
edité par Pierre Lelong
出版情報: Berlin ; New York : Springer-Verlag, 1976
シリーズ名: Lecture notes in mathematics ; 524
所蔵情報: loading…
42.

図書
図書
42. Spline functions : proceedings of an international symposium held at Karlsruhe, Germany, May 20-23, 1975 (: gw ; : u.s.)
edited by K. Böhmer, G. Meinardus, and W. Schempp
出版情報: Berlin : Springer-Verlag, c1976
シリーズ名: Lecture notes in mathematics ; v. 501
所蔵情報: loading…
43.

図書
図書
43. Brauer groups : proceedings of a conference held at Evanston, October 11-15, 1975 (: Berlin ; : New York)
edited by D. Zelinsky
出版情報: Berlin ; New York : Springer-Verlag, 1976
シリーズ名: Lecture notes in mathematics ; 549
所蔵情報: loading…
44.

図書
図書
44. Measures on topological semigroups : convolution products and random walks (: Berlin ; : New York)
Arunava Mukherjea, Nicolas A. Tserpes
出版情報: Berlin ; New York : Springer-Verlag, 1976
シリーズ名: Lecture notes in mathematics ; 547
所蔵情報: loading…
45.

図書
図書
45. Index of mathematical papers (vol. 6, part 1)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1976
所蔵情報: loading…
目次情報:
An index to mathematical reviews for 1974 volumes 47 and 48, author index
An index to mathematical reviews for 1974 volumes 47 and 48, author index
46.

図書
図書
46. Index of mathematical papers (vol. 6, part 2)
出版情報: Providence : American Mathematical Society, c1976
所蔵情報: loading…
目次情報:
An index to mathematical reviews for 1974 volumes 47 and 48, subject index
An index to mathematical reviews for 1974 volumes 47 and 48, subject index
47.

図書
図書
47. Séminaire Pierre Lelong (analyse) année 1973/74 (: Germany ; : U.S.)
édité par Pierre Lelong
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 474
所蔵情報: loading…
48.

図書
図書
48. Séminaire Bourbaki vol. 1971/72, exposés 400-417 (: gw ; : u.s)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin : Springer-Verlag, 1973
シリーズ名: Lecture notes in mathematics ; 317
所蔵情報: loading…
49.

図書
図書
49. Model theory
C.C. Chang and H.J. Keisler
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1973
シリーズ名: Studies in logic and the foundations of mathematics ; 73
所蔵情報: loading…
50.

図書
図書
50. Proceedings of the second Conference on Compact Transformation Groups : University of Massachusetts, Amherst, 1971 (Pt. 1 : Germany - : Pt. 2 : U.S.)
Conference on Compact Transformation Groups
出版情報: Berlin ; New York : Springer-Verlag, 1972-
シリーズ名: Lecture notes in mathematics ; 298, 299
所蔵情報: loading…