Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN：0471311987
Computer science illuminated = 计算机科学概论（英文版·第5版）
Nell B. Dale ; John Lewis2015 年出版668 页ISBN：7111448136
ROUTING IN TODAY’S INTERNETWORKS THE ROUTING PROTOCOLS OF IP，DECNET，NETWARE，AND APPLETALK
MARK DICKIE1994 年出版273 页ISBN：0442018118
International Food Saftey Handbook: science
international regulation1999 年出版811 页ISBN：
INVESTING IN EU ENERGY SECURITY
KLUWER LAW EU ENERGY SECURITY2010 年出版456 页ISBN：9041131188
Pascalgorithms A Pascal-Based Introduction To Computer Science
1989 年出版802 页ISBN：039535739X
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
NUCLEUS ENGLISH FOR SCIENCE AND TECHNOLOGY BIOLOGY TEACHER'S NOTES
1977 年出版72 页ISBN：0582553547
