Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
Formal Models of Computation The Ultimate Limits of Computing
Arthur Fleck2001 年出版532 页ISBN：
COMPUTER-AIDED DESIGN AND COMPUTER-AIDED MANUFACTURING
JOHN K.KROUSE2222 年出版147 页ISBN：0824716663
Computer Aided and Integrated Manafacturing Systems Volume 1:Computer Techniques
2003 年出版237 页ISBN：9812389830
FUNDAMENTALS OF NUMERICAL COMPUTATION(COMPUTER-ORIENTED NUMERICAL ANALYSIS)
G.ALEFELD AND R.D.GRIGORIEFF2222 年出版230 页ISBN：321181566X
25 CAMBRIDGE COMPUTER SCIENCE TEXTS THE PRINCIPLES OF COMPUTER NETWORKING
D.RUSSELL2222 年出版513 页ISBN：0521339928
PAX COMPUTER High-Speed Parallel Processing and Scientific Computing
1985 年出版245 页ISBN：0201184923
COMPUTATIONAL DRUG DESIGN A Guide for Computational and Medicinal Chemists
2009 年出版307 页ISBN：9780470126851
PROCEEDINGS VLSI and Computers Fist International Confernce on Computer Technology
Systems and Applications1987 年出版1006 页ISBN：
