検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Computationalcomplexity -- Congresses
選択行を：
資料名所在
175 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. -- American Mathematical Society, c2020. -- (Contemporary mathematics ; 754).理数学 412:B
2Algorithms and complexity : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997 : proceedings / Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Di Battista (eds.). -- Springer-Verlag, c1997. -- (Lecture notes in computer science ; 1203).理数学 007.1:A
3CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 299).理数学 415.7:C
4Computational 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. -- American Mathematical Society, c2008. -- (Contemporary mathematics ; v. 470).理数学 411.6:K
5Computational 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. -- American Mathematical Society, c2010. -- (Contemporary mathematics ; v. 511).理数学 411.6:K
6Logic 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. -- Springer-Verlag, c1990. -- (Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze).理数学 410.9:L
7Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors. -- American Mathematical Society, c1998. -- (DIMACS series in discrete mathematics and theoretical computer science ; v. 39).理数学 410.9:B
8Recent 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. -- American Mathematical Society, c2013. -- (Contemporary mathematics ; 604).理数学 410.9:M
9SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings / R. Karlsson, A. Lingas (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 318).理数学 007.6:S:1
選択行を：
▲ページトップへ