Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN：9783540713883
FOUNDATIONS OF COMPUTER SCIENCE FROM DATA MANIPULATION TO THEORY OF COMPUTATION
（美）弗若赞（FOROUZAN2004 年出版384 页ISBN：
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
ENCYCLOPEDIA OF ANTIBIOTICS 3RD EDITION
JOHN S.GLASBY1992 年出版515 页ISBN：0471929220
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
It began with Babbage the genesis of computer science
Subrata Dasgupta2014 年出版328 页ISBN：0199309412
