Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science

The Logic of Partial Information - Monographs in Theoretical Computer Science

Complexity Theory of Real Functions (Progress in Theoretical Computer Science)

Linear programming. (=Progress in theoretical computer science ; 2). Karloff, Ho

Linear Programming (Progress in Theoretical Computer Science)

Canonical Equational Proofs. Progress in Theoretical Computer Science. Bachmair,

Logic of Domains [Progress in Theoretical Computer Science]

Exploring Randomness (Discrete Mathematics and Theoretical Computer Science), Ch