上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA9.58)
該当件数:17件
Stochastic algorithms: foundations and applications : International Symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings / Kathleen Steinhöfel (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2264)
図書 <1001350266>
Algorithm theory - SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings / Magnús M. Halldórsson (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1851)
図書 <1001170070>
Algorithms and complexity : 4th Italian Conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1767)
図書 <1001125875>
Algorithms and complexity : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997 : proceedings / Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Di Battista (eds.)
Berlin : Springer-Verlag , c1997. - (Lecture notes in computer science ; 1203)
図書 <1000549873>
How to think about algorithms / Jeff Edmonds
: hardback,: pbk. - Cambridge ; New York : Cambridge University Press , 2008
図書 <1001954941>
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>
Algorithms and complexity : Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings / M. Bonuccelli, P. Crescenzi, R. Petreschi, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 778)
図書 <1000492696>
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>
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>
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>
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>
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>
Algorithm theory-SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 : proceedings / Stefan Arnborg, Lars Ivansson (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1432)
図書 <1000560255>