TM02/84(美) Jia Di, Scott C. Smith主编/电子工业出版社/ 2024
TM02/82(美) Scott C. Smith, Jia Di著/电子工业出版社/ 2023
TN432.02/19(美) Ivan Sutherland, Bob Sproull, David Harris著/科学出版社/ 2021
TP274/627(美) Edmund M. Clarke, Jr, Orna Grumberg, Doron A. Peled著/电子工业出版社/ 2018.11
G633.41/17(美) Judith L. Shrum, Eileen W. Glisan著/外语教学与研究出版社/ 2004
(美) Judith L. Shrum, Eileen W. Glisan著/外语教学与研究出版社/ 2004
何安平著/四川民族出版社/ 2002-12
H0/20:2Jenny Thomas, Mick Short/外语教学与研究出版社/ 2001