ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Computationalcomplexity -- Congresses
図書(9 件)
選択行を:
10件
20件
50件
資料名
所在
1
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. -- American Mathematical Society, c2020. -- (Contemporary mathematics ; 754).
理数学
412:B
2
Algorithms 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
3
CAAP '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
4
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. -- American Mathematical Society, c2008. -- (Contemporary mathematics ; v. 470).
理数学
411.6:K
5
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. -- American Mathematical Society, c2010. -- (Contemporary mathematics ; v. 511).
理数学
411.6:K
6
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. -- Springer-Verlag, c1990. -- (Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze).
理数学
410.9:L
7
Proof 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
8
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. -- American Mathematical Society, c2013. -- (Contemporary mathematics ; 604).
理数学
410.9:M
9
SWAT 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
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성