数字集成电路设计验证 量化评估、激励生成、形式化验证

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

投资项目评估与资产评估最新实用手册

工业节能减排管理 潜力评估模型、技术路径分析及绿色工厂设计

本书以行业技术系统模拟为基础，围绕工业水污染物总量控制、减排不确定性、多约束条件下的环境目标转移以及环境标准的制定等污染防治政策的问题，采用自底向上建模方法开发介绍了集技术变化模拟、不确定性分析...

中国生态环境演变与评估 辽河流域生态系统评估

纳税评估模型与案例 地方税纳税评估手册

本书是来自地税一线征管、稽查能手倾力打造的纳税评估专用培训教材：系统阐释纳税评估基本方法、流程和数据模型 ；用真实案例讲解地方税各税种纳税评估的模型与方法...

环渤海沿海地区生态环境评估 中国生态环境演变与评估

学校与评估 为了评估学生能力的情境

本书所关心的问题包括：如何通过某一复杂性情境对学生的学业获得进行评估？如何在教育体制水平上和班级水平同时兼顾评估的形成性功能和证书性特征功能？如何使这样的评估可以为教师、家长所用？著作以大量的复杂性...

2004年资产评估基本准则、具体准则、评估指南与评估指导意见的最新诠释及案例分析 1 资产评估业务手册

本书主要阐述草地植物群落遗传—生态学。从植物的遗传学和生态学两方面介绍克隆结构、形态与功能特性。

2004年资产评估基本准则、具体准则、评估指南与评估指导意见的最新诠释及案例分析 4

本书主要阐述草地植物群落遗传—生态学。从植物的遗传学和生态学两方面介绍克隆结构、形态与功能特性。

2004年资产评估基本准则、具体准则、评估指南与评估指导意见的最新诠释及案例分析 3

本书主要阐述草地植物群落遗传—生态学。从植物的遗传学和生态学两方面介绍克隆结构、形态与功能特性。