上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード：(標準分類: 004)
該当件数:200件
The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus The Secrets of Enigma / edited by B. Jack Copeland
: pbk. - Oxford : Oxford University Press , 2004
図書 <1001580306>
Quantum computing : where do we want to go tomorrow? / Samuel L. Braunstein (ed.)
Weinheim ; New York : Wiley-VCH , c1999
図書 <1001091103>
Spatial cognition : an interdisciplinary approach to representing and processing spatial knowledge / Christian Freksa, Christopher Habel , Karl F. Wender (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1404)
図書 <1000559926>
Development of the information society : an international analysis : a report by Spectrum Strategy Consultants for the Department of Trade and Industry
London : HMSO , c1996
図書 <1000707644>
The Oxford handbook of information and communication technologies / edited by Robin Mansell ... [et al.]
: ebook,: pbk. - Oxford : Oxford University Press , 2009
電子ブック <1003170107>
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>
