著者
書誌事項
DIMACS series in discrete mathematics and theoretical computer science
American Mathematical Society , Association for Computing Machinery
この図書・雑誌をさがす
-
41
- African Americans in mathematics : DIMACS workshop, June 26-28, 1996
-
Nathaniel Dean, editor
American Mathematical Society c1997 DIMACS series in discrete mathematics and theoretical computer science v. 34
所蔵館8館
-
42
- Mathematical hierarchies and biology : DIMACS workshop, November 13-15, 1996
-
Boris Mirkin ... [et al.], editors
American Mathematical Society c1997 DIMACS series in discrete mathematics and theoretical computer science v. 37
: hard
所蔵館15館
-
43
- Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996
-
Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
American Mathematical Society 1997 DIMACS series in discrete mathematics and theoretical computer science v. 35
所蔵館19館
-
44
- The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
-
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors
American Mathematical Society c1997 DIMACS series in discrete mathematics and theoretical computer science v. 32
所蔵館9館
-
45
- Logic and random structures : DIMACS workshop, November 5-7, 1995
-
Ravi B. Boppana, James F. Lynch, editors
American Mathematical Society c1997 DIMACS series in discrete mathematics and theoretical computer science v. 33
所蔵館19館
-
46
- Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,
-
Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors
American Mathematical Society c1997 DIMACS series in discrete mathematics and theoretical computer science v. 29
所蔵館12館
-
47
- Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University
-
Neil Immerman, Phokion G. Kolaitis, editors
American Mathematical Society c1997 DIMACS series in discrete mathematics and theoretical computer science v. 31
所蔵館16館
-
48
- Parallel algorithms : third DIMACS implementation challenge, October 17-19, 1994
-
Sandeep N. Bhatt, editor
American Mathematical Society c1997 DIMACS series in discrete mathematics and theoretical computer science v. 30
所蔵館22館
-
49
- Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993
-
David S. Johnson, Michael A. Trick, editors
American Mathematical Society c1996 DIMACS series in discrete mathematics and theoretical computer science v. 26
所蔵館20館
-
50
- DNA 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
所蔵館24館
-
51
- Formal power series and algebraic combinatorics, 1994 : DIMACS workshop, May 23-27, 1994 = Séries formelles et combinatoire algébrique, 1994
-
Louis J. Billera ... [et al.], editors
American Mathematical Society c1996 DIMACS series in discrete mathematics and theoretical computer science v. 24
所蔵館30館
-
52
- Geometric and computational perspectives on infinite groups : proceedings of a Joint DIMACS/Geometry Center Workshop, January 3-14 and March 17-20, 1994
-
Gilbert Baumslag ... [et al.], editors
American Mathematical Society c1996 DIMACS series in discrete mathematics and theoretical computer science v. 25
所蔵館18館
-
53
- Global minimization of nonconvex energy functions : molecular conformation and protein folding : DIMACS workshop, March 20-21, 1995
-
P.M. Pardalos, D. Shalloway, G. Xue, editors
American Mathematical Society c1996 DIMACS series in discrete mathematics and theoretical computer science v. 23
所蔵館16館
-
54
- Parallel processing of discrete optimization problems : DIMACS workshop, April 28-29, 1994
-
Panos M. Pardalos, Mauricio G.C Resende, K.G. Ramakrishnan, editors
American Mathematical Society 1995 DIMACS series in discrete mathematics and theoretical computer science v. 22
所蔵館19館
-
55
- Interconnection networks and mapping and scheduling parallel computations : DIMACS workshop, February 7-9, 1994
-
D. Frank Hsu, Arnold L. Rosenberg, Dominique Sotteau, editors
American Mathematical Society c1995 DIMACS series in discrete mathematics and theoretical computer science v. 21
所蔵館16館
-
56
- Combinatorial optimization
-
William Cook, László Lovász, Paul Seymour, editors
American Mathematical Society 1995 DIMACS series in discrete mathematics and theoretical computer science v. 20
所蔵館26館
-
57
- Partitioning data sets : DIMACS workshop, April 19-21, 1993
-
Ingemar J. Cox, Pierre Hansen, Bela Julesz, editors
American Mathematical Society c1995 DIMACS series in discrete mathematics and theoretical computer science v. 19
所蔵館9館
-
58
- Language computations : DIMACS Workshop on Human Language, March 20-22, 1992
-
Eric Sven Ristad, editor
American Mathematical Society c1994 DIMACS series in discrete mathematics and theoretical computer science v. 17
所蔵館11館
-
59
- Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994
-
Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors
American Mathematical Society c1994 DIMACS series in discrete mathematics and theoretical computer science v. 18
所蔵館14館
-
60
- Quadratic assignment and related problems : DIMACS workshop, May 20-21, 1993
-
Panos M. Pardalos, Henry Wolkowicz, editors
American Mathematical Society 1994 DIMACS series in discrete mathematics and theoretical computer science v. 16
所蔵館15館