Introduction to automata theory
languages and computation second edition2001 年出版521 页ISBN：0201441241
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
Computational biology-Unix/Linux
data processing and programming2004 年出版284 页ISBN：354021142X
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN：
COMPUTER SCIENCE ILLUMINATED （THIRD EDITION）
[美]NELL DALE JOHN LEWIS著2008 年出版636 页ISBN：
CRITICAL THEORY AND PERFORMANCE
JANELLE G.REINELT JOSEPH R.ROACH2007 年出版596 页ISBN：
