VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN：9780521113601
COMPUTATIONAL ECONOMICS AND FINANCE MODELING AND ANALYSIS WITH MATHEMATICA
HAL R.VARIAN1992 年出版468 页ISBN：0387945180
The Architecture of High Performance Computers
Roland N.Ibbett2222 年出版172 页ISBN：
INTRODUCTION TO THE THEORY OF COMPUTATION
MICHAEL SIPSER2002 年出版401 页ISBN：711110840X
Mathematics for Electrical Engineering and Computing
2003 年出版550 页ISBN：075065855X
DECOMPOSABILITY Queueing and Computer System Applications
1977 年出版201 页ISBN：012193750X
COMPUTERS AND INFORMATION PROCESSING THIRD EDITION
1990 年出版610 页ISBN：013173329X
