胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
蔡定剑，杜钢建主编2002 年出版426 页ISBN：780086961X
相互信任一书是为了给研究人大制度理论的专家和学者提供一块待开垦的园地，以活跃人大制度的理论研究气氛，提高人大制度理论研究水平，推动人大制度实践的发展。它将采撷国内外有关民主代议制理论、宪政理论、选...
数据、模型与决策 基于电子表格的建模和案例研究方法 原书第5版
（美）弗雷德克里S.希利尔，马克S.希利尔著；李勇建等译2015 年出版580 页ISBN：9787111496120
本书是一部以案例为导向的管理科学入门教材，与其他管理科学教材不同之处在于：本书不要求学生拥有深厚的数学功底，而是运用功能强大的Excel软件来完成模型的建立、求解最优化方案，因此非常适合MBA、管理学院的本...
程昌钧，胡育佳，朱媛媛等著2009 年出版464 页ISBN：9787030253637
本书的内容是根据作者长期以来在固体力学和结构力学的相关领域承担10余个省部级科研项目的基础上的积累而完成的，内容包括10章，在第1章绪论中简单介绍桩基的特点和作用、研究动态、本书的目的与内容等，第2章～第...
刘家远，单娜琳，钱建平等编著2011 年出版228 页ISBN：9787502455422
本书是在第一版的基础上进行了一些修改和补充，新增加了两章内容。全书分为三篇十四章。第一篇主要介绍国内外地学界对隐伏矿床的定义和分类，着重讨论如何运用已有成矿学理论指导隐伏矿床的预测。第二篇为重点...
