（美）尼罗德（Nerode，A.）等著2006 年出版457 页ISBN：7111197720
本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题（语法、语义、完备性和紧致性），但是书中大部分内容讨论的是其他主题...
陈卫东，彭仕雄等著2015 年出版248 页ISBN：9787517028857
本书针对水库塌岸的复杂性和预测的不确定性，对已经蓄水的10余座大型水库塌岸现象进行了实地调查，系统研究了岸坡地质结构、库水作用机理、塌岸影响因素、塌岸模式、塌岸预测参数取值、塌岸预测方法等，提出了塌...
丁兆梅等著2014 年出版262 页ISBN：9787516148952
本书从理论来源、理论风格、理论内容、理论品质、理论体系、理论价值取向等维度，深入分析了中国特色社会主义理论体系理论渊源的相承性、理论风格的民族性、理论内容的系统性、理论品质的实践性、理论体系的...
吴大器，张学森等著2014 年出版197 页ISBN：9787564218461
本书从发展环境的基本体系、法制环境优化、上海金融服务供求关系与现代服务业发展、金融监管会计准则的差异与协同的实证研究、中小企业融资性担保业规范发展比较研究、金融人才培养的三元合作教育研究等方...
陈映真等著2017 年出版204 页ISBN：9787539297231
本书收录了台湾左派作家陈映真的一些文章和其他人对他的访谈、回忆，以及一些人对他作品的评论，生动地展现了陈映真的创作背景、作品风格及令人钦佩的人格和爱国精神，为读者认识和了解陈映真，更好地体会陈映真作...
（英）彼得·特洛威尔，杰森·琼斯，温迪·德莱顿等著；刘毅译2018 年出版409 页ISBN：9787568908894
本书逐步讲解了认知行为治疗的步骤，并以技术治疗模块、案例和对话插图来加以阐释。第二版还增加了新的案例。从什么是认知行为咨询说开去，详细、有序、分步骤地给出了实践的具体指南，并分章节介绍了焦虑、抑郁...
李风华等著2018 年出版230 页ISBN：9787519903428
本书是国家社科基金重大项目中期成果，其主题是探讨国外政党领导发展能力的国际借鉴研究。其基本思路是从五大发展理念角度去入手概括，各个政党在领导发展方面对于中国的借鉴启示。李风华，湖南师范大学马克思主...
张友安等著2017 年出版208 页ISBN：9787121329319
本书主要介绍作者团队在非线性模型预测控制方面的研究成果。具体包括第1章 背景、现状与挑战；第2章 求取预测控制的终端状态约束集；第3章 求取预测控制的终端代价函数；第4章 鲁棒预测控制方法；第5章 跟踪问题中...
（汉）张仲景，（清）吴鞠通等著著2017 年出版736 页ISBN：9787537754804
中医四部经典是由《黄帝内经》、《伤寒论》、《金匮要略》、《温病条辨》合编而成，是中医必读之书，传统称为四部经典。这四部经典是祖国中医古籍中的宝贵遗产，向来为历代医家所推崇。《黄帝内经》简称《内经》...
王骏，申卫革，易娜伊等著2017 年出版194 页ISBN：7542342673
本书稿通过对芬兰、南非、泰国、日本、韩国、澳大利亚、加拿大等七个国家小学外语课程标准的研究，比较了中国与这些国家在课程理念、课程目标、课程内容、课程实施、课程资源建议、课程评价等方面的异同。通...
