Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
INTRODUCTION TO DATA STRUCTURES AND NON-NUMERIC COMPUTATION
1972 年出版629 页ISBN：0134798996
Numerical computation of electric and magnetic fields second edition
1997 年出版260 页ISBN：0412086212
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：
Biological membranes : a molecular perspective from computation and experiment
Kenneth M. Merz1996 年出版594 页ISBN：
COMPUTATION OF NONLINEAR STRUCTURES EXTREMELY LARGE ELEMENTS FOR FRAMES
PLATES AND SHELLS2016 年出版978 页ISBN：1118996959
PARALLEL MIMD COMPUTATION：THE HEP SUPERCOMPUTER AND ITS APPLICATIONS
J.S.KOWALIK2222 年出版411 页ISBN：0262111012
Quantum computation and quantum information = 量子计算与量子信息（10周年版）
Isaac L. Chuang ; Michael A. Nielsen2015 年出版676 页ISBN：7302394853
