Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN：0387512373
Computer science illuminated = 计算机科学概论（英文版·第5版）
Nell B. Dale ; John Lewis2015 年出版668 页ISBN：7111448136
Lecture Notes in Computer Science 4419 Reconfigurable Computing:Architectures
Tools and Applications Third International Workahop2007 年出版392 页ISBN：
Lecture Notes in Computer Science 3647 Software Engineering Research
Management and Applications Second International Conference2004 年出版0 页ISBN：
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Lecture Notes in Computer Science 3649:Business Porcess Management
Wil M.P.van der Aalst2005 年出版0 页ISBN：
Philosophy of Science A New Introduction
Gillian Barker ; Philip Kitcher2014 年出版180 页ISBN：0195366198
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN：
It began with Babbage the genesis of computer science
Subrata Dasgupta2014 年出版328 页ISBN：0199309412
