（德）艾宾浩斯著2008 年出版289 页ISBN：7506292270
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...
石志国，薛为民，尹浩编著2011 年出版330 页ISBN：9787512104693
本书根据最新的网络安全的研究内容，加入最新的可信计算（国内自主的TCM部分）以及云计算安全性等内容。
辉一浩编著2010 年出版261 页ISBN：9787806885192
本书会告诉你什么是真正的幸福，同时书中还详细地阐述了女人如何获得幸福的智慧与技巧，每节中所举的例子都会让女人从中找到自己的影子，并从中学到如何处理生活中发生的事。...
（清）王永彬著2003 年出版223 页ISBN：7801468546
本书原著为清代王永彬，共184条人生哲理和行为标准。译者用朴实和赋有哲理的语言给予恰到好处的解释。读后不仅自己可以清醒，而且更能享受一个哲人对人生的觉悟。...
潘旺林，王永华主编2008 年出版747 页ISBN：9787534559327
本书系统地介绍了水电工的基础知识、给水排水施工、室外低压线路施工、室内用电布线、照明装置的安装，以及安全用电基本常识等。
王永强，魏刚才主编2011 年出版272 页ISBN：9787122115942
本书从发酵床养猪的猪场设计、猪品种选择、猪的繁殖、猪的饲料及配制、发酵床养猪的饲养管理及发酵床养猪的疾病防治等几个方面进行了详细介绍。...
王永，范馨月编著2012 年出版266 页ISBN：9787115276247
本书包括：绪论、信号与噪声分析、模拟调制系统、模拟信号的数字传输、数字信号的基带传输、数字信号的载波传输、多路复用及多址技术、现代数字调制技术、信道编码、同步系统、模拟试题、实验。...
