杨玉林，范瑞清，张立珠，王平编著2014 年出版334 页ISBN：9787560345642
本书选择XRD、SEM、TEM、XPS、AFM等20余种仪器结合应用实例，介绍包括仪器的组成、基本原理、样品的制备（含用量、处理方法、仪器检测限）、测试步骤、理想的测试结果的选取、测试数据分析、通过数据分析发现哪...
林锐，周恒，李江博著2012 年出版207 页ISBN：9787111375272
本书系统性地论述软件企业量化管理的理念、方法与实践经验：（1）阐述量化管理的理念，总结了量化管理的特征、优点、困难和应用原则。（2）阐述软件企业开展量化管理的方法，总结了实施模型、集成化流程和常用的数学......
刘炜著2009 年出版180 页ISBN：9787811183672
本书收录了2005年上海大学博士论文60篇，通过公开出版，使论文作为公共知识，转化成社会财富，产生社会影响。
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
