FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN:3540534873
APPLICATIONS OF COMPUTER TECHNOLOGY TO DYNAMICAL ASTRONOMY
P.Kenneth Seidelmann and Jean Kovalevsky2222 年出版341 页ISBN:0792303121
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE VOLUME I:SETS
RELATIONS2222 年出版0 页ISBN: