同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: Computational complexity Congresses)
該当件数:37件
Aspects of complexity : minicourses in algorithmics, complexity, and computational algebra, mathematics workshop, Kaikoura, January 7-15, 2000 / editors Rod Downey, Denis Hirschfeldt
Berlin ; New York : Walter de Gruyter , c2001. - (De Gruyter series in logic and its applications ; 4)
図書 <BB10174228>
Proceedings of the twenty-third annual ACM Symposium on Theory of Computing / chairmen Cris Koutsougeras, Jeff Vitter ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1991
電子書籍 <OB00750963>
Proceedings of the twenty-seventh annual ACM Symposium on Theory of Computing / chairmen F. Tom Leighton, Allan Borodin ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1995
電子書籍 <OB00750960>
CCC '15 : 30th Conference on Computational Complexity : June 17-19, 2015, Portland, Oregon, USA / edited by David Zuckerman
Saarbrücken, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , 2015
電子書籍 <OB00770593>
CCC 2017 : 32nd Computational Complexity Conference : July 6-9, 2017, Riga, Latvia / edited by Ryan O'Donnell
Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , 2017
電子書籍 <OB00770594>
Kolmogorov complexity and computational complexity / Osamu Watanabe (ed.)
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1992. - (EATCS monographs on theoretical computer science)
図書 <BB00215691>
Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 621)
図書 <BB00199506>
Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 / Samuel R. Buss, Philip J. Scott, editors
Boston,Basel. - Boston : Birkhäuser , 1990. - (Progress in computer science and applied logic ; v. 9)
電子書籍 <OB00867654>
Feasible mathematics II / Peter Clote, Jeffrey Remmel, editors
acid-free paper,acid-free paper. - Boston : Birkhäuser , 1995. - (Progress in computer science and applied logic ; v. 13)
電子書籍 <OB00867655>
Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987 / L. Peliti, A. Vulpiani, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in physics ; 314)
図書 <BB00079050>
Coping with complexity : model reduction and data analysis / Alexander N. Gorban, Dirk Roose, editors
Heidelberg ; New York : Springer , c2011
電子書籍 <OB01024057>
Recursion theory and computational complexity : lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Bressanone (Bolzano), Italy, June 14-23, 1979 / G. Lolli (ed.)
Heidelberg : Springer , c2010
電子書籍 <OB01027518>
Complex networks V : proceedings of the 5th Workshop on Complex Networks CompleNet 2014 / Pierluigi Contucci ... [et al.], editors
: [hardback]. - Cham : Springer , c2014. - (Studies in computational intelligence ; v. 549)
図書 <BB13220578>
CoCoS'13 : proceedings of the 1st Workshop on Comprehension of Complex Systems : March 25, 2013, Fukuoka, Japan / program chair Bert Lagaisse ; in cooperation with ACM SIGPLAN and ACM SIGSOFT
print. - New York : ACM , 2013
電子書籍 <OB00744960>
Proceedings of the twelfth annual ACM Symposium on Theory of Computing / chairmen Raymond E. Miller, Seymour Ginsburg, Walter A. Burkhard, Richard J. Lipton ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1980
電子書籍 <OB00750926>
Logic, algebra, and computation / edited by Friedrich L. Bauer
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (NATO ASI series ; ser. F . Computer and system sciences ; v. 79)
図書 <BB00167287>
Feedback control, nonlinear systems, and complexity / Bruce A. Francis and Allen R. Tannenbaum
London ; New York : Springer , c1995. - (Lecture notes in control and information sciences ; 202)
図書 <BB00291829>
Approximation and complexity in numerical optimization : continuous and discrete problems / edited by Panos M. Pardalos
alk. paper. - Dordrecht [Netherlands] ; Boston : Kluwer Academic Publishers , 2000. - (Nonconvex optimization and its applications ; v. 42)
電子書籍 <OB01023395>
Proceedings of the thirty-third annual ACM Symposium on Theory of Computing / chairmen Jeffrey S. Vitter, Paul Spirakis, Mihalis Yannakakis ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 2001
電子書籍 <OB00750917>
STOC '13 : proceedings of the 2013 ACM Symposium on Theory of Computing : June 1 - 4, 2013, Palo Alto, California, USA / sponsored by ACM SIGACT
電子書籍 <OB00751680>
STOC '08 : proceedings of the 2008 ACM International Symposium on Theory of Computing : Victoria, British Columbia, Canada, May 17-20, 2008 / sponsored by ACM SIGACT
print. - New York : ACM , 2008
電子書籍 <OB00751679>
STOC '14 : proceedings of the 2014 ACM Symposium on Theory of Computing : New York, New York, USA, May 31, 2014 - June 3, 2014
print. - New York : ACM , 2014
電子書籍 <OB00765824>
Proceedings of the 36th annual ACM Symposium on the Theory of Computing : Chicago, Illinois, USA, June 13-15, 2004 / sponsored by SIGACT
print. - New York : ACM , 2004
電子書籍 <OB00748259>
Proceedings of the thirty-second annual ACM Symposium on Theory of Computing / chairmen Frances Yao, Eugene Luks ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 2000
電子書籍 <OB00750913>
STOC'12 : proceedings of the 2012 ACM Symposium on Theory of Computing : May 19-22, 2012, New York, New York, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2012
電子書籍 <OB00751688>
PASC '16 : Platform for Advanced Scientific Computing Conference : 08-10 June 2016, Lausanne Switzerland / in-cooperation with ACM
New York : ACM , 2016
電子書籍 <OB00765234>
Proceedings of the fifteenth annual ACM Symposium on Theory of Computing : Boston, Massachusetts, April 25-27, 1983 / chairmen David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel Seiferas ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1983
電子書籍 <OB00749989>
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 56)
図書 <BB00031994>
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; editor, P. Odifreddi
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze)
図書 <BB00127053>
Berlin ; New York : Springer-Verlag , c1990
電子書籍 <OB00868301>
STOC '06 : proceedings of the 38th annual ACM Symposium on Theory of Computing : Seattle, Washington, USA, May 21-23, 2006 / sponsored by SIGACT
print. - New York : ACM , 2006
電子書籍 <OB00751677>
STOC '07 : proceedings of the 39th annual ACM Symposium on Theory of Computing : San Diego, California, USA, June 11-13, 2007 / sponsored by SIGACT
print. - New York : ACM , 2007
電子書籍 <OB00751678>
Proceedings of the thirty-fourth annual ACM Symposium on Theory of Computing / conference chair John Reif ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 2002
電子書籍 <OB00750911>
STOC '05 : proceedings of the 37th annual ACM Symposium on the Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005 / sponsored by SIGACT
print. - New York : ACM , 2005
電子書籍 <OB00751676>
Proceedings of the thirty-fifth annual ACM Symposium on Theory of Computing / conference chair Lawrence L. Larmore ; program chair Michel X. Goemans ; sponsors ACM Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery
print. - New York : ACM , 2003
電子書籍 <OB00750907>
Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "Foundations of the Formal Sciences III" / edited by Benedikt Löwe, Boris Piwinger and Thoralf Räsch
HB : alk. paper. - Dordrecht ; Boston : Kluwer Academic Publishers , c2004. - (Trends in logic ; v. 23)
電子書籍 <OB01023707>
CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 : proceedings / J.-C. Raoult (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 581)
図書 <BB00176972>