上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 511/.8)
該当件数:22件
Modeling and simulation fundamentals : theoretical underpinnings and practical domains / edited by John A. Sokolowski, Catherine M. Banks
Hoboken, N.J. : John Wiley , c2010
図書 <1002262661>
Mathematics for economics / Michael Hoy ... [et al.]
: hbk,: pbk. - 3rd ed. - Cambridge, Mass. : MIT Press , c2011
図書 <1002546544>
Mathematical modeling / Mark M. Meerschaert
: hardcover. - 3rd ed. - Amsterdam ; Boston : Elsevier/Academic Press , c2007
図書 <1001828967>
The theory of computability : programs, machines, effectiveness and feasibility / R. Sommerhalder, S.C. van Westrhenen
Wokingham, England ; Tokyo : Addison-Wesley Pub. Co. , c1988. - (International computer science series)
図書 <1001985054>
A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated from the French by Moses Klein
New York : Springer , c2000. - (Universitext)
図書 <1001166868>
A celebration of mathematical modeling : the Joseph B. Keller anniversary volume / edited by Dan Givoli, Marcus J. Grote and George C. Papanicolaou
Dordrecht ; Boston : Kluwer Academic Publishers , c2004
図書 <1001547945>
Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / Erik M. Schmidt, Sven Skyum (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 824)
図書 <1000501789>
Collected algorithms from ACM
v. 1 - v. 5. - New York, N.Y. : Association for Computing Machinery , 1979-<1989 >
図書 <1000437575>
Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 621)
図書 <1000451782>
Boston : Academic Press , c1993
図書 <1000473817>
SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings / R. Karlsson, A. Lingas (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 318)
図書 <1000329656>
The theory of algorithms / by A.A. Markov and N.M. Nagorny ; translated by M. Greendlinger
Dordrecht ; Boston : Kluwer Academic , c1988. - (Mathematics and its applications ; Soviet series ; 23)
図書 <1000337172>
Mathematical modelling : a tool for problem solving in engineering, physical, biological, and social sciences / D.N.P. Murthy and N.W. Page and E.Y. Rodin
est.. - 1st ed. - Oxford ; New York : Pergamon Press , 1990. - (International series in modern applied mathematics and computer science ; v. 20)
図書 <1000376674>
Model theory / C.C. Chang and H.J. Keisler
3rd ed. - Amsterdam ; Tokyo : North-Holland. - New York, NY : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1990. - (Studies in logic and the foundations of mathematics ; v. 73)
図書 <1000381430>
SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Bergen, Sweden [i.e. Norway], July 11-14, 1990 : proceedings / J.R. Gilbert, R. Karlsson (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1990. - (Lecture notes in computer science ; 447)
図書 <1000382176>
An introduction to stability theory / by Anand Pillay
Oxford : Clarendon Press. - New York : Oxford University Press , 1983. - (Oxford logic guides ; 8)
図書 <1000294015>
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A.P. Ershov and D.E. Knuth
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 122)
図書 <1000586770>
Algorithm theory-SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson, Andrzej Lingas (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1097)
図書 <1000540595>
ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings / W.L. Hsu, R.C.T. Lee, (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 557)
図書 <1000439060>
Algorithms : International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990 : proceedings / T. Asano ... [et al.] (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 450)
図書 <1000388050>