| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| First Course in Formal Language Theory | 978-0-07-709245-0 (0-07-709245-7) | 1995 | |
| Mathematics for Computing | 978-0-333-29170-2 (0-333-29170-0) | 1982 | G.P. McKeown |
| Modern Heuristic Search Methods | 978-0-471-96280-9 (0-471-96280-5) | 1996 | I. H. Osman · C. R. Reeves · G. D. Smith |
J R · J.R. Smith · J. S. · J. Smith · R. S. · R. Smith · V. S. · V SMITH · Victor J. Rayward-Smith
McGraw-Hill · Palgrave Macmillan · Wiley