韩明清，张越著2011 年出版167 页ISBN：9787112127146
行政学视角的城市有机更新研究是有关城市更新理论研究的新视角，具有理论价值和现实意义。将行政学引入建筑学研究的传统领域，重新梳理城市更新问题的背景、演变，对城市更新理论是一种补充和创新；该研究为政府创...
徐林主编2012 年出版294 页ISBN：9787513801959
本丛书总结历年中考语文阅读试题的特点，归纳出常考题型与答题技巧，用非常实用的方法帮助学生抓住得分要点。考场阅读得分六步法帮助学生学会如何阅读试题，如何快速读懂文意，如何快速解答。例题分析、答题易错点...
毛纲源编2004 年出版781 页ISBN：7560931731
本书根据最新考研数学大纲的要求，将历年考题进行分类，归纳、并总结多种解题方法和技巧，有助于考生高效学习，提高应试能力和水平，同时还有助于开阔考生的解题思路使所学知识融会贯通，以达到灵活解题的综合能力。...
毋河海著2004 年出版524 页ISBN：750301220X
本书为作者从教40余年来发表的主要论文，文章对地图综合基础的理论与技术方法作了大量的研究与实践，得出了颇有影响的研究成果，在地图界有较大影响。该论文收篇成书以前，都曾在国内外相关学术期刊、杂志上公开表...
（日）米村浩次著；胡淑英译2002 年出版247 页ISBN：7530830392
为了使您能够长期欣赏观叶植物，《观叶植物成功的栽培方法》特向您介绍有关各种观叶植物的正确实用的栽培管理方法。除此之外，花店中能够见到的部分原产热带的盆花，也大都属本书介绍范围。《观叶植物成功的栽培...
赵正旭，温晋杰，赵卫华著2015 年出版145 页ISBN：9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...
周宇艳，周明辉主编2015 年出版204 页ISBN：9787308146760
验证是建立分析方法过程中的重要一环，目的是确证所建方法是否达到预期分析目标。本书稿分析了我国及国外标准化组织开展验证活动的情况，给出了方法具体性能参数的验证程序，并基于作者丰富的标准制定经验，列举实...
秦荣，李秀梅著2015 年出版381 页ISBN：9787030440976
本书主要介绍结构力学的新方法及其C程序设计，在介绍基本概念的基础上，重点介绍最新成果，内容包括：基本概念、样条函数、结构理论、样条函数方法、结构力学及固体力学的几种新方法、计算程序及其在结构力学中的...
曹珍富，刘培杰编著2012 年出版136 页ISBN：9787560337487
本书从一道2011年全国理科试题的解法谈起，首先全文摘录了一篇作者23年前发表的小文章。然后再进行现实的联系并进而介绍差分方程理论的完整体系。并进一步介绍了俄罗斯数学家在差分方程解的稳定性方面的前沿...
