面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

我们的情绪和行为系列 但是，如果？ 一本关于担忧的书

（英）苏·格拉芙思著；（英）德希迪莉亚·吉奇雅蒂尼绘；石冬芳译2015 年出版27 页ISBN：9787106041144

这本作为学前教课书，包含了关于上课活动的建议，课堂上要讨论的话题，再结合孩子们的个人经验将这些行为准则进行巩固。本书还配有空白图板，用于鼓励孩子们理论联系实际，联系听说能力。本书旨在帮助孩子们了解人们...

气候变化与国家新能源的发展 以阿拉伯国家为例

柳思思著2015 年出版260 页ISBN：9787802327795

本书是一本创新之作。其使用建构主义的规范理论与实践理论来解读气候变化与国家新能源的发展这一现实研究主题，将理论与实践相结合，弥补了国内学界的仅聚焦于阿拉伯国家传统能源优势的不足。...

中国周边国家文化外交 中亚卷

柳思思著2015 年出版191 页ISBN：9787501251049

中亚文化外交是国际关系的一个新研究课题。通过文化外交的视角来研究国际关系的变革，已经成为中国学界进行研究的新路径，毕竟在文化领域里追根溯源，能够更好地认识和理解中亚地区独特的人文特征。哈萨克斯坦积...

列车运行图编制理论与方法

胡思继著2013 年出版338 页ISBN：9787113172541

本书在对列车运行图组成要素进行基本阐述的基础上，对列车运行图结构参数、铁路通过能力计算与加强、列车开行方案及列车运行图编制进行了深入地探索和研究。提出了列车运行图基本结构单元的概念，并借以研究列...

悖论问题的认识论研究

王天思著2012 年出版340 页ISBN：9787208107533

本书是一部关于探讨如何将描述论运用于解决悖论问题的理论著作。第一部分是开始研究问题之前的铺垫，主要介绍了什么是描述论、描述与规定的关系、描述的性质和规则；第二部分是用描述论展开对悖论的分析，阐明悖...

习凿齿传 上

张兰亭，习晓思著2017 年出版528 页ISBN：9787507545883

习家祖先从不缺少名人。习凿齿（？～383）字彦威，襄阳人，东晋著名史学家、文学家。是魏晋精神的一个重要代表人物，世代为荆楚豪族，东汉襄阳侯习郁之后人。精通玄学、佛学、史学。主要著作有《汉晋春秋》《襄阳耆旧......

五步就能完成的环保创新手艺 巧手剪纸

（西）安娜依默思著；谢王挥译2015 年出版30 页ISBN：9787539471198

这套丛书是从西班牙巴拉蒙引进，共11册，按材料分类编写。每本书选取素材都十分贴合儿童的日常生活，所用材料也是我们生活当中随处可见的，展现了儿童手工制作的各种可操作性。书中还对难易程度作了分类总结，可供家...

五步就能完成的环保创新手艺 植物宝贝

（西）安娜依默思著；谢王挥译2015 年出版30 页ISBN：9787539471174

这套丛书是从西班牙巴拉蒙引进，共11册，按材料分类编写。每本书选取素材都十分贴合儿童的日常生活，所用材料也是我们生活当中随处可见的，展现了儿童手工制作的各种可操作性。书中还对难易程度作了分类总结，可供家...

高聚物的现代研究方法

田威，孔杰，胡思海编2014 年出版300 页ISBN：9787561241950

本书从教学和高聚物科技工作者需要的角度出发，围绕高聚物研究领域中所涉及到的最常用的现代分析仪器，就分析方法的基本原理、仪器的构成、谱图所能提供的信息和其基本解析方法做了简明阐述的基础上，通过一些典...