Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN：
ENGLISH FOR AUTOMATION SCIENCE AND TECHNOLOGY
任金霞，何小阳主编2008 年出版156 页ISBN：9787560950044
本书由电子及电气技术、控制理论、计算机控制、自动化技术等4个部分组成，并精选阅读教材，是一本优秀的控制与自动化专业英语教材。
Concrete Mathematics A Foundation for Computer Science 〔Second Edition〕
Ronald L.Graham2002 年出版0 页ISBN：
INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGINEERING
1999 年出版472 页ISBN：0819431613
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
Computer Science and Statistics:Proceedings of the Fifteenth Symposium on the Interface
James E.Gentle1983 年出版379 页ISBN：
