COMPUTER CHOICES:BEWARE OF CONSPICUOUS COMPUTING
H.Dominic Covvey1982 年出版225 页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
ELEMENTS OF COMPUTER ALGEBRA WITH APPLICATIONS
ALKIVIADIS G.AKRITAS2222 年出版425 页ISBN：0471611638
MATRIX COMPUTER METHODS OF VIBRATION ANALYSIS
D.J.HATTER2222 年出版206 页ISBN：0408705213
