DIMACS: Series in Discrete Mathematics and Theoretical Computer Science - Böcker

Interconnection Networks and Mapping and Scheduling Parallel Computations

Parallel Processing of Discrete Optimization Problems

Specification of Parallel Algorithms

Formal Power Series and Algebraic Combinatorics

Parallel Algorithms

Geometric and Computational Perspectives on Infinite Groups

Global Minimization of Nonconvex Energy Functions

Molecular Conformation and Protein Folding

Satisfiability Problem

Theory and Applications

Groups and Computation II

Descriptive Complexity and Finite Models

Proof Complexity and Feasible Arithmetics

Logic and Random Structures

Partial Order Methods in Verification

African Americans in Mathematics

SPIN Verification System

DNA Based Computers II

Mathematical Hierarchies and Biology

DIMACS Workshop, November 13-15, 1996

Mathematical Support for Molecular Biology

Papers Related to the Special Year in Mathematical Support for Molecular Biology, 1994-1998

Microsurveys in Discrete Probability

Advances in Switching Networks

Network Threats

Network Design

Connectivity and Facilities Location

DNA Based Computers III

DIMACS Workshop, June 16-18, 1997

Randomization Methods in Algorithm Design

Contemporary Trends in Discrete Mathematics

From DIMACS and DIMATIA to the Future

DNA Based Computers

Discrete Mathematical Chemistry

Networks in Distributed Computing

Multichannel Optical Networks

Theory and Practice