张恒主编；孙金凤，付蕾，陈季武副主编；王淑静，付蕾，孙金凤等编写2013 年出版489 页ISBN：7564617516
本书共十一章，主要介绍生物化学基本理论及与此相关的实践技能、生化产品。包括生物大分子及前体合成与分解代谢及调控，生物天然物质活性成分鉴定及分离纯化等。...
毛纲源编2004 年出版781 页ISBN：7560931731
本书根据最新考研数学大纲的要求，将历年考题进行分类，归纳、并总结多种解题方法和技巧，有助于考生高效学习，提高应试能力和水平，同时还有助于开阔考生的解题思路使所学知识融会贯通，以达到灵活解题的综合能力。...
赵正旭，温晋杰，赵卫华著2015 年出版145 页ISBN：9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...
