上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.95)
該当件数:13件
Computing and logic, mathematics and language / Glenn Satty, Thomas J. Blakeley, James G. Colbert
Wien : Philosophia , c1988. - (Introductiones.)
図書 <1000584695>
Tapas in experimental mathematics : AMS Special Session on Experimental Mathematics, January 5, 2007, New Orleans, Louisiana / Tewodros Amdeberhan, Victor H. Moll, editors
Providence, R.I. : American Mathematical Society , c2008. - (Contemporary mathematics ; 457)
電子ブック <1003021476>
Mathematica : a problem-centered approach / Roozbeh Hazrat
: pbk. - 2nd ed. - Cham : Springer , c2015. - (Springer undergraduate mathematics series)
図書 <1002840610>
The student's introduction to Mathematica : a handbook for precalculus, calculus, and linear algebra / Bruce F. Torrence, Eve A. Torrence
: hb,: pb. - Cambridge ; New York : Cambridge University Press , 1999
図書 <1001087911>
Maple V by example / Martha L. Abell, James P. Braselton
[set],[book],CD-ROM. - 2nd ed.. - San Diego : Academic Press , c1999
図書 <1001088288>
Exploring discrete mathematics with Maple / Kenneth H. Rosen ... [et al.]
New York : McGraw-Hill , c1997
図書 <1001089840>
Discrete mathematics using a computer / Cordelia Hall and John O'Donnell
New York : Springer , 2000
図書 <1001126180>
Collected algorithms from ACM
v. 1 - v. 5. - New York, N.Y. : Association for Computing Machinery , 1979-<1989 >
図書 <1000437575>
Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings / edited by Willard L. Miranker and Richard A. Toupin
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 235)
図書 <1000587395>
Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni, ed
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science. ; 358)
図書 <1000593122>
Maple : a comprehensive introduction / Roy Nicolaides, Noel Walkington
: hardcover. - New York : Cambridge University Press , 1996
図書 <1000544594>
Mastering mathematica : programming methods and applications / John Gray
2nd ed. - San Diego : Academic Press , c1998
図書 <1000557259>
Mathematica : a system for doing mathematics by computer / Stephen Wolfram
: hardbound,: pbk. - 2nd ed. - Redwood City, Calif. ; Tokyo : Addison-Wesley Pub. Co., the Advanced Book Program , c1991
図書 <1000423972>