Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Human-Computer Interaction and Management Information Systems Applications
Dennis Galletta2015 年出版464 页ISBN：
Computer Algorithms Introduction to Design and Analysis Third Edition
Sara Baase2001 年出版688 页ISBN：
COMPUTER ORGANIZATION AND ARCHITECTURE DESINGING FOR PERFORMANCE （SIXTH EDITION）
[美]斯托林斯编著2006 年出版815 页ISBN：
Theory and Design of Digital Computer Systems Second Edition
Douglas Lewin1980 年出版472 页ISBN：
CONCEPTS AND PRINCIPLES OF PHYSICAL EDUCATION WHAT EVERY STUDENT EDDS TO KNOW 3RD EDITION
BONNIE S.MOBNSEN2010 年出版432 页ISBN：9780883149423
