杨玉林,范瑞清,张立珠,王平编著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类型理论,及其规则定义和推导演算...