CONTOURING GEOLOGIC SURFACES WITH THE COMPUTER
THOMAS A.JONES1986 年出版314 页ISBN：
COMPUTER CHOICES:BEWARE OF CONSPICUOUS COMPUTING
H.Dominic Covvey1982 年出版225 页ISBN：
INTERACTIVE COMPUTER GRAPHICS IN SCIENCE TEACHING
ELLIS HORWOOD LIMITED1978 年出版0 页ISBN：
Essential numerical computer methods = 数值计算方法精要
Michael L. Johnson2012 年出版0 页ISBN：
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051
GRADUATE TEXTS IN MATHEMATICS 148:AN INTRODUCTION TO THE THEORY OF GROUPS FOURTH EDITION
JOSEPH J.ROTMAN1995 年出版515 页ISBN：0387942858
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
COMPUTER SCIENCE:AN OVERVIEW FOURTH EDITION
J.GLENN BROOKSHEAR2222 年出版506 页ISBN：0805346279
