Bøker i Computer Science and Scientific Computing-serien

This book is a survey of matrix perturbation theory. In particular, the authors cover perturbation theory of linear systems and least square problems, the eigenvalue problem, and the generalized eigenvalue problem as well as a treatment of vector and matrix norms, including the theory of unitary invariant norms.

Covers the key areas of computer science, including recursive function theory, formal languages, and automata. This book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. It also covers in a variety of different arrangements automata theory, computational logic, and complexity theory.