数理逻辑

（德）艾宾浩斯著2008 年出版289 页ISBN：7506292270

本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...

考研数学 满分过关100题 2017升级版

杨超，姜晓千，方浩主编2016 年出版216 页ISBN：7568232869

社会主义企业管理行为学 初探

高文浩主编2222 年出版195 页ISBN：

题名取自封面。:内部发行。

计算机网络安全教程

石志国，薛为民，尹浩编著2011 年出版330 页ISBN：9787512104693

本书根据最新的网络安全的研究内容，加入最新的可信计算（国内自主的TCM部分）以及云计算安全性等内容。

做一个幸福的女人

辉一浩编著2010 年出版261 页ISBN：9787806885192

本书会告诉你什么是真正的幸福，同时书中还详细地阐述了女人如何获得幸福的智慧与技巧，每节中所举的例子都会让女人从中找到自己的影子，并从中学到如何处理生活中发生的事。...

魂之少年 2

杨浩编绘2012 年出版154 页ISBN：9787115276575

为了解救故乡克里克村，索尔来到了东北方的魔晶塔处，发现一群自称皇家狩猎师的家伙正利用魔晶对神兽进行污化实验，将丧失神智的污化神兽变为他们的奴仆。这些家伙就是污染克里克村的元凶……。...

《资治通鉴》十六国资料释证 汉赵、后赵、前燕国部分

陈勇著2010 年出版623 页ISBN：9787500482048

本书是作者对《资治通鉴》中有关十六国的部分资料的释证。在以往的十六国史研究中，人们一般将《通鉴》是为第二手资料，因而在史实的层面，此书并未受到足够的重视。事实上，当司马光及其助手刘恕、刘攽、范祖禹等...

普通高等教育工程管理专业“十二五”规划教材 工程项目管理

陈勇，曲赜胜主编；刘坤，熊辉副主编2016 年出版354 页ISBN：9787302433170

本书的第一部分主要介绍工程项目管理的有关理论、概念、专业术语等，并对工程项目管理的过程进行简要介绍；第二部分详细介绍工程项目全过程设计的管理工作，例如进度、费用、质量、信息、风险等方面的管理；最后对...

常用治疗肿瘤中药

谢东浩，武谦虎主编2015 年出版460 页ISBN：9787506778268

本书是一部全面、系统阐述常用治疗肿瘤中药的药理及临床应用等内容的专著，系编者搜集国内外有关文献资料，并结合多年临床经验编写而成。本书共分三篇，计18章，收载常用治疗肿瘤中草药及中成药约260种。...

煤矿机械修理与安装

汪浩主编2010 年出版208 页ISBN：9787502036690

本书全面系统地介绍了机械维修基础知识，零件失效及设备故障诊断技术，机械零部件的修理与装配方法，机械设备的安装程序，煤矿常用机械设备的修理与安装工艺等。...