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
ELSEVIER SCIENCE PUBLISHING COMPANY1985 年出版425 页ISBN：
Advanced Techniques in Framework:Programming in FRED
1985 年出版320 页ISBN：0895882469
Nikolaos Ploskas ; Nikolaos Samaras2016 年出版304 页ISBN：0128051320
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN：
