上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computational complexity Congresses)
該当件数:39件
Proceedings / IEEE Conference on Computational Complexity
1996,1997,1998. - Los Alamitos, Calif. : IEEE Computer Society Press , c1996-
図書 <1000694151>
Proceedings / Structure in Complexity Theory ... Annual Conference
1986- - 1994. - Washington, D.C. : IEEE Computer Society Press , c1987-
図書 <1000693249>
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>
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>
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>
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>
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>
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>
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>
Computational approaches to novel condensed matter systems : applications to classical and quantum systems / edited by D. Neilson and M.P. Das
New York : Plenum Press , c1995
図書 <1000526804>
Computational group theory and the theory of groups : AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
Providence, R.I. : American Mathematical Society , c2008. - (Contemporary mathematics ; v. 470)
電子ブック <1003021408>
Computational group theory and the theory of groups, II : Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
Providence, R.I. : American Mathematical Society , c2010. - (Contemporary mathematics ; v. 511)
電子ブック <1003023288>
Understanding complexity / edited by Gillian Ragsdell and Jennifer Wilby
New York : Kluwer Academic/Plenum Publishers , c2001
図書 <1001309329>
Computational science - ICCS 2002 : international conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings / Peter M. A. Sloot ... [et al.] (eds.)
pt. 1,pt. 2,pt. 3. - Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2329-2331 . Lecture notes in artificial intelligence)
図書 <1001369216>
Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings / L. Budach, (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 529)
図書 <1000431835>
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / edited by Ferenc Gécseg
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 117)
図書 <1000586772>
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 208)
図書 <1000587049>
Mathematical theory of computations : proceedings / of the Seventh IBM Symposium on Mathematical Foundations of Computer Science ... May 24-26, 1982 at Hakone Yama-no-Hotel
Tokyo, Japan : Corporate & Scientific Programs, IBM Japan , [1982?]
図書 <1000587658>