Rosenberg, Arnold L. The pillars of computation theory state, encoding, nondeterminism / [electronic resource] : by Arnold L. Rosenberg. - New York, NY : Springer-Verlag New York, 2010. - xvii, 324 p. : ill., digital ; 24 cm. - Universitext . ISBN: 9780387096391 (electronic bk.) 9780387096384 (paper) Subjects--Topical Terms: Computational complexity. LC Class. No.: QA267.7 / .R67 2010 Dewey Class. No.: 511.352