検索条件入力書誌詳細 > 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
シリーズ名:DIMACS series in discrete mathematics and theoretical computer science
選択行を:
資料名所在
1Algorithmic and quantitative real algebraic geometry : DIMACS workshop, Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center / Saugata Basu, Laureano Gonzalez-Vega, editors. -- American Mathematical Society, c2003. -- (DIMACS series in discrete mathematics and theoretical computer science ; v. 60).理数学 411.8:B
2DNA based computers II : DIMACS workshop, June 10-12, 1996 / Laura F. Landweber, Eric B. Baum, editors. -- American Mathematical Society, c1999. -- (DIMACS series in discrete mathematics and theoretical computer science ; v. 44).理数学 549.9:L
3DNA based computers III : DIMACS Workshop, June 23-25, 1997 / Harvey Rubin, David Harland Wood, editors. -- American Mathematical Society, c1999. -- (DIMACS series in discrete mathematics and theoretical computer science ; v. 48).理数学 007.6:R
4Proof 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
5Network threats : DIMACS workshop, December 2-4, 1996 / Rebecca N. Wright, Peter G. Neumann, editors. -- American Mathematical Society, c1998. -- (DIMACS series in discrete mathematics and theoretical computer science ; v. 38).理数学 007.6:W
6DNA based computers : proceedings of a DIMACS workshop, April 4, 1995, Princeton University / Richard J. Lipton, Eric B. Baum, editors. -- American Mathematical Society, c1996. -- (DIMACS series in discrete mathematics and theoretical computer science ; v. 27).理数学 548.1:L
選択行を: