毛纲源编2004 年出版781 页ISBN：7560931731
本书根据最新考研数学大纲的要求，将历年考题进行分类，归纳、并总结多种解题方法和技巧，有助于考生高效学习，提高应试能力和水平，同时还有助于开阔考生的解题思路使所学知识融会贯通，以达到灵活解题的综合能力。...
赵正旭，温晋杰，赵卫华著2015 年出版145 页ISBN：9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...
王亚平主编2007 年出版466 页ISBN：7030186184
本书共分十一章，重点介绍了造血干细胞的理论，包括血细胞的发生和调控机理、造血干细胞工程理论，造血干细胞研究的方法及手段，涉及造血干细胞的分离、纯化、鉴定，干细胞移植、信号转导等细胞与分子生物学研究技术...
（日）田部浩三等著；郑禄彬等译1992 年出版399 页ISBN：7502510680
英文题名:Newsolidacidsandbasestheircatalyticproperties:本书对近二十年来固体酸碱研究的成果和进展进行了总结和评价
段正梁著2011 年出版148 页ISBN：9787508486062
本书探讨的是由“城市化世纪”走向“城市世纪”的全球背景以及城市日益面临众多问题的背景下，城市经营绩效的评价理论与方法问题。全书共六章，分别从城市经营、城市经营绩效评价指标、城市经营绩效评价方法、...
