Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Advanced Computer Simulation Approaches for Soft Matter Sciences II
2005 年出版250 页ISBN：3540260919
INSTRUCTOR'S GUIDE FOR ESSENTIALS OF COMPUTER DATA PROCESSING
1984 年出版215 页ISBN：134441
COMPUTER SIMULATED EXPERIMENTS FOR ELECTRIC CIRCUITS USING ELECTRONICS WORKBENCH
1997 年出版265 页ISBN：0133596214
Advanced Computer Simulation Approaches for Soft Matter Sciences I
2005 年出版275 页ISBN：3540220585
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
幽歌Ⅱ号 为两把大提琴、钢琴和两位打击乐手而作 for two celli， piano and two percussionists
秦文琛作曲2003 年出版16 页ISBN：7810960083
Computer Vision for Biomedical Image Applications First international Workshop
CVBIA 20052005 年出版563 页ISBN：3540294112
COMPUTER ORGANIZATION AND ARCHITECTURE DESINGING FOR PERFORMANCE （SIXTH EDITION）
[美]斯托林斯编著2006 年出版815 页ISBN：
英国文学的伟大传统 从莎士比亚到肖伯纳 1-2卷 FROM SHAKESPEARE TO SHAW VOLUME Ⅰ-Ⅱ 英文本
（美）鲁宾斯坦（Rubistein，A.T.）著1988 年出版946 页ISBN：7560004146
