Analytical Chemistry Lab Manual

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Computing the future

The Programming Language Ada Reference Manual

Complexity theory retrospective