上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 004)
該当件数:200件
The Evolution of Programs / by Nachum Dershowitz
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1983. - (Progress in Computer Science No.5 ; 5)
電子ブック <1002991884>
FORTRAN Programming : A Supplement for Calculus Courses / by William R. Fuller
New York, NY : Springer New York , 1977. - (Universitext)
電子ブック <1002992076>
Seasonal Adjustment with the X-11 Method / by Dominique Ladiray, Benoît Quenneville
New York, NY : Springer New York : Imprint: Springer , 2001. - (Lecture Notes in Statistics ; 158)
電子ブック <1002992186>
Problems and Methods of Optimal Structural Design / by N. V. Banichuk ; edited by Edward J. Haug
Boston, MA : Springer US : Imprint: Springer , 1983. - (Mathematical Concepts and Methods in Science and Engineering ; 26)
電子ブック <1002992364>
Introduction to Queuing Theory / by B. V. Gnedenko, I. N. Kovalenko
Second Edition. - Boston, MA : Birkhäuser Boston , 1989. - (Mathematical Modeling ; 5)
電子ブック <1002993040>
Dynamical Systems and Evolution Equations : Theory and Applications / by J. A. Walker
Boston, MA : Springer US : Imprint: Springer , 1980. - (Mathematical Concepts and Methods in Science and Engineering ; 20)
電子ブック <1002993220>
Supercomputational Science / edited by R. G. Evans, S. Wilson
Boston, MA : Springer US , 1990
電子ブック <1002993254>
Applications of Computer Algebra / edited by Richard Pavelle
Boston, MA : Springer US , 1985
電子ブック <1002993332>
Multiple-Criteria Decision Making : Concepts, Techniques, and Extensions / by Po-Lung Yu
Boston, MA : Springer US , 1985. - (Mathematical Concepts and Methods in Science and Engineering ; 30)
電子ブック <1002993386>
Analyzing Medical Data Using S-PLUS / by Brian Everitt, Sophia Rabe-Hesketh
New York, NY : Springer New York : Imprint: Springer , 2001. - (Statistics for Biology and Health)
電子ブック <1002993990>
Mathematica as a Tool : An introduction with practical examples / by Stephan Kaufmann
Basel : Birkhäuser Basel , 1994
電子ブック <1002995402>
Discovering Mathematics with Maple : An interactive exploration for mathematicians, engineers and econometricians / by Roelof J. Stroeker, Johan F. Kaashoek
Basel : Birkhäuser Basel : Imprint: Birkhäuser , 1999
電子ブック <1002995538>
Graph Drawing Software / edited by Michael Jünger, Petra Mutzel
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2004. - (Mathematics and Visualization)
電子ブック <1002996066>
MuPAD Pro Computing Essentials / by Miroslaw Majewski
Second Edition. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2004
電子ブック <1002996078>
Mathematics — Key Technology for the Future : Joint Projects between Universities and Industry / edited by Willi Jäger, Hans-Joachim Krebs
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2003
電子ブック <1002996390>
Computer Algebra Handbook : Foundations · Applications · Systems / edited by Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning
電子ブック <1002996402>
Geometric Methods in Bio-Medical Image Processing / edited by Ravikanth Malladi
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2002. - (Mathematics and Visualization)
電子ブック <1002996416>
Recent Developments in Domain Decomposition Methods / edited by Luca F. Pavarino, Andrea Toselli
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2002. - (Lecture Notes in Computational Science and Engineering ; 23)
電子ブック <1002996430>
Multimedia Tools for Communicating Mathematics / edited by Jonathan Borwein, Maria H. Morales, José F. Rodrigues, Konrad Polthier
電子ブック <1002996444>
Compstat : Proceedings in Computational Statistics / edited by Wolfgang Härdle, Bernd Rönz
Heidelberg : Physica-Verlag HD : Imprint: Physica , 2002
電子ブック <1002996524>