The Theory of Computer Science A Programming Approach
J.M.BRADY2222 年出版287 页ISBN：
WILEY ENCYCLOPEDIA OF COMPUTER SCIENCE AND ENGINEERING VOLUME 1
2009 年出版746 页ISBN：9780471383932
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
2222 年出版632 页ISBN：0818619821
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
INFORMATION SYSTEMS DEVELOPMENT:PRINCIPLES OF COMPUTER-AIDED SOFTWARE ENGINEERING
ALBERT F.CASE1986 年出版238 页ISBN：
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 COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558
