Volume |
Title |
DIMACS/037
|
Mathematical Hierarchies and Biology
- Boris Mirkin, Rutgers University, Piscataway, NJ, F. R. McMorris, University of Louisville, Louisville, KY, Fred S. Roberts, Rutgers University, New Brunswick, NJ and Andrey Rzhetsky, Columbia University, New York City, NY, Editors |
DIMACS/036
|
Discrete Mathematics in the Schools
- Joseph G. Rosenstein, Rutgers University, New Brunswick, NJ, Deborah S. Franzblau, City University of New York (CUNY), Staten Island, NY and Fred S. Roberts, Rutgers University, New Brunswick, NJ, Editors |
DIMACS/035
|
Satisfiability Problem: Theory and Applications
- Dingzhu Du, University of Minnesota, Minneapolis, MN, Jun Gu, University of Calgary, Calgary, AB, Canada and Panos M. Pardalos, University of Florida, Gainesville, FL, Editors |
DIMACS/034
|
African Americans in Mathematics
- Nathaniel Dean, Bell Laboratories, Murray Hill, NJ, Editor |
DIMACS/033
|
Logic and Random Structures
- Ravi B. Boppana, New York University-Courant Institute of Mathematical Sciences, New York, NY and James F. Lynch, Clarkson University, Potsdam, NY, Editors |
DIMACS/032
|
The SPIN Verification System
- Jean-Charles Gregorie, INRS-Telecommunications, Montreal, QC, Canada, Gerard Holzmann, Lucent Technologies, Murray Hill, NJ and Doron Peled, Lucent Technologies, Murray Hill, NJ, Editors |
DIMACS/031
|
Descriptive Complexity and Finite Models
- Neil Immerman, University of Massachusetts, Amherst, MA and Phokion G. Kolaitis, University of California, Santa Cruz, Santa Cruz, CA, Editors |
DIMACS/030
|
Parallel Algorithms
- Sandeep N. Bhatt, Editor |
DIMACS/029
|
Partial Order Methods in Verification
- Doron Peled, Vaughan R. Pratt and Gerard Holzmann, Editors |
DIMACS/028
|
Groups and Computation II
- Larry A Finkelstein, Northeastern University, Boston, MA and William M. Kantor, University of Oregon, Eugene, OR, Editors |