An Introduction to the Theory of Optimizing Compilers: with performance measurements on POWER

Introduction to the Theory of Nonlinear Optimization

Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-solving Approach

Introduction to the Potential Theory for the Time-Dependent Stokes System (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)