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: