IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN：0134518322
IAS/PARK CITY MATHEMATICS SERIES Low Dimensional Topology
2009 年出版316 页ISBN：9780821847664
Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN：7030066863
FINITE MATHEMATICS FOR THE MANAGEMENT AND SOCIAL SCIENCES
1997 年出版535 页ISBN：0536013543
BASIC MATHEMATICS:WHAT ENERY COLLEGE STUDENT SHOULD KNOW
1977 年出版519 页ISBN：0130634468
ESSENTIAL MATHEMATICS AND STATISTICS FOR SCIENCE SECOND EDITION
2009 年出版387 页ISBN：9780470694497
SQL查询凡人入门 用SQL查询进行数据处理的上手指南 a hands-on guide to data manipulation in SQL
（美）Michael J. Hernandez，（美）John L. Viescas著；王晓延译2005 年出版492 页ISBN：7121014963
随着网络技术的发展，数据库的应用正日益广泛，如电子政务、网络购物系统等等，愈来愈多人需要知道如何从数据库中顺利简便地查询信息，可惜现有的数据库方面的书籍大都是针对数据库编程各数据库开发写的，可是大多数...
二三十岁决定人的一生 Everything of human's life can be changed in their twenties or thirties eng
张笑恒编著2008 年出版241 页ISBN：9787504461414
本书旨在指导二三十岁的年轻人正视自己，勇于拼搏，积极地处理好二三十岁时的人生应该重点面对的十二个问题。
LIFE INSURANCE MATHEMATICS THRID ENITION = 人寿保险数学 第三版
1997 年出版217 页ISBN：354062242X
