東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Computational complexity Congresses)
該当件数:59件
Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló Summer School, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Menéndez Pelayo, Santander, Spain / José Luis Montaña, Lluis M. Pardo, editors
Providence, R.I. : American Mathematical Society , c2013. - (Contemporary mathematics ; 604)
図書
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)
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 : Springer , c2002. - (Lecture notes in computer science ; 2329-2331)
Computational science - ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003 : proceedings / Peter M.A. Sloot ... [et al.] (eds.)
pt. 1 - pt. 4. - Berlin ; Tokyo : Springer , c2003. - (Lecture notes in computer science ; 2657-2660)
Computational science - ICCS 2001 : International Conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings / Vassil N. Alexandrov ... [et al.] (eds.)
pt. 1,pt. 2. - Berlin : Springer , c2001. - (Lecture notes in computer science ; 2073-2074)
Computational group theory and the theory of groups, II : Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Granyham, 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)
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 / edited by Ferenc Gécseg
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 117)
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)
Fundamentals of computation theory : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 : proceedings / J. Csirik, J. Demetrovics, F. Gécseg (eds.)
: gw,: us. - New York ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 380)
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 208)
Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2, 1989 : proceedings / H. Djidjev (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 401)
Mathematical foundations of computer science 1986 : proceedings of the 12th Symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / edited by J. Gruska, B. Rovan, and J. Wiedermann
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 233)
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 118)
Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen
Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science ; 43)
Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions / J. Dassow, J. Kelemen (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 381)
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)
75 years of Mathematics of computation : symposium, Celebrating 75 Years of Mathematics of Computation, November 1-3, 2018, the Institute for Computational and Experimental Research in Mathematics (ICERM) / Susanne C. Brenner ... [et al.], editors
: pbk. - [Providence, R.I.] : American Mathematical Society , c2020. - (Contemporary mathematics ; 754)
Kolmogorov complexity and computational complexity / Osamu Watanabe (ed.)
Berlin : Springer-Verlag , c1992. - Tokyo. - (EATCS monographs on theoretical computer science)
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)
Feasible mathematics II / Peter Clote, Jeffrey B. Remmel, editors
Boston : Birkhäuser , 1995. - (Progress in computer science and applied logic ; v. 13)
Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 / Samuel R. Buss, Phillip J. Scott, editors
Boston : Birkhäuser , 1990. - (Progress in computer science and applied logic ; v. 9)
Algorithm theory-SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson, Andrzej Lingas (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1097)
Algorithm theory-SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 : proceedings / Stefan Arnborg, Lars Ivansson (eds.)
Berlin : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1432)
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)
Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 621)
Algorithms and complexity : Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings / M. Bonuccelli, P. Crescenzi, R. Petreschi, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 778)
Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / Erik M. Schmidt, Sven Skyum (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 824)
Algorithms and complexity : 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003 : proceedings / Rossella Petreschi, Giuseppe Persiano, Riccardo Silvestri (eds.)
Berlin : Springer , c2003. - Tokyo. - (Lecture notes in computer science ; 2653)
Algorithm theory -- SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / Erik M. Schmidt, Sven Skyum (eds.)
Algorithm theory - SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson, Andrzej Lingas (eds.)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1097)
CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings / edited by E. Astesiano and C. Böhm
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 112)
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 299)
CAAP '83 : Trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983, proceedings / edited by G. Ausiello and M. Protasi
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science ; 159)
Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editors
[Providence, R.I.] : American Mathematical Society , c1997. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 31)
CAAP '86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, proceedings / edited by P. Franchi-Zannettacci
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 214)
Fundamentals of computation theory : International Conference FCT '87, Kazan, USSR, June 22-26, 1987, proceedings / L. Budach, R.G. Bukharajev, O.B. Lupanov (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 278)
Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings / L. Budach, (ed.)
Berlin : Springer-Verlag , c1991. - New York. - (Lecture notes in computer science ; 529)
Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.)
Berlin : Springer-Verlag , c1995. - New York. - Tokyo. - (Lecture notes in computer science ; 960)
Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors
Providence, R.I. : American Mathematical Society , 1997. - (DIMACS series in discrete mathematics and theoretical computer science. ISSN:1052-1798 ; v. 39)
Complex systems and binary networks : Guanajuato lectures held at Guanajuato, México, 16-22 January 1995 / R. López-Peña ... [et al.]
Berlin : Springer , c1995. - New York. - (Lecture notes in physics ; 461)
Computability and complexity in analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers / Jens Blanck, Vasco Brattka, Peter Hertling (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2064)
Advances in high performance computing and computational sciences : the 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005 / Yurii Shokin ... [et al.] (editors)
Berlin : Springer , c2006. - New York. - (Notes on numerical fluid mechanics and multidisciplinary design ; v. 93)
Feedback control, nonlinear systems, and complexity / [edited by] Bruce A. Francis and Allen R. Tannenbaum
London : Springer , c1995. - New York. - (Lecture notes in control and information sciences ; 202)
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski and Jan van Leeuwen
Amsterdam : North-Holland , 1985. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. - New York. - (Annals of discrete mathematics ; 24 .). - (North-Holland mathematics studies ; 4 .)
Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings / Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki (eds.)
Berlin : Springer , c2003. - Tokyo. - (Lecture notes in computer science ; 2731)
Proceedings of the twenty-ninth Annual ACM Symposium on the Theory of Computing, El Paso, Texas, May 4-6, 1997 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
New York, N.Y. : ACM , c1997
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
Berlin : Springer-Verlag , c1990. - Tokyo. - (Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze)
Complexity and chaos : proceedings of the second Bryn Mawr Workshop on Measures on Complexity and Chaos, Bryn Mawr, Pennsylvania, USA, August 13-15, 1992 / editors N.B. Abraham ... [et al]
Singapore : World Scientific , c1993. - River Edge, NJ. - (World Scientific series on nonlinear science ; v. 2 . Special theme issues and proceedings ; Series B)
Spatio-temporal patterns in nonequilibrium complex systems : NATO advanced research workshop / editors, P.E. Cladis, P. Palffy-Muhoray
Reading, Mass. : Addison-Wesley , c1995. - Tokyo. - (Proceedings volume in the Santa Fe Institute studies in the sciences of complexity ; v. 21)