Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Computer science illuminated = 计算机科学概论（英文版·第5版）
Nell B. Dale ; John Lewis2015 年出版668 页ISBN：7111448136
HUMAN RELATIONS IN ORGANIZATIONS APPLICATIONS AND SKILL BUILDING 5TH EDITION
ROBERT N.LUSSIER2222 年出版627 页ISBN：007243645X
Nikolaos Ploskas ; Nikolaos Samaras2016 年出版304 页ISBN：0128051320
NUCLEUS ENGLISH FOR SCIENCE AND TECHNOLOGY BIOLOGY TEACHER'S NOTES
1977 年出版72 页ISBN：0582553547
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
PERSPECTIVES ON MEMORY RESEARCH:ESSAYS IN HONOR OF UPPSALA UNIVERSITY'S 500TH ANNIVERSARY
LARS-GORAN NILSSON1979 年出版400 页ISBN：0470265868
