硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

能力偏误、教育溢价与中国工资收入差异 基于微观计量方法的实证研究

本书在我国收入差距持续扩大、各级教育特别是高等教育迅猛扩张的背景下，基于大学生供需结构变化和能力分布变化的视角，在试图控制能力偏误后准确测度城镇大学教育溢价以及农村高中阶段教育溢价，深层挖掘溢价变...

基于图像分析的植物及其病虫害识别方法研究

从国内外发展情况来看，依据植物的叶片图像特征进行植物分类与病虫害识别是目前较为有效的方式之一，它也是未来数字化植物研究的一种发展趋势,对植物分类智能化和有效防治农作物病害的发生，提高农作物的产量，减...

基于激光点云数据的三维建模应用实践

本书首先简要介绍了基于激光点云的三维建模技术研究背景与意义、国内外研究现状、研究对象简介与三维建模技术方法。其次详细阐述了连云港市海清寺内有代表性的文物，包括阿育王塔、万年宝鼎、关圣帝君、石赑...

基于B/S结构的软件开发技术

本书对B/S结构开发环境的构建、客户端开发技术HTML和Javascipt、服务器端开发技术JSP、Servlet、JavaBans和DBC等内容应用实例进行了较为详细的讲解。

抽样调查 理论、方法与实践

英汉双向笔译方法与实践

本书主要内容包括：翻译标准、翻译理论、翻译佳作赏。

基于幼儿学习与发展的幼儿教育实践探探究

本书是在《3～6岁儿童学习与发展指南》的先进理念指引下，杭州市幼儿园一线的名师和学科带头人培养对象在幼儿教育的五大领域--科学、语言、艺术、社会和健康，为培养奠定幼儿一生发展的各项能力进行的为期五年的...

基于多元评价的课堂教学实践与研究

教育改革的核心是课程改革，课程改革的中心是课堂教学。本书立足课堂、研究课堂、决胜课堂，借鉴并打造出适合不同学科、不同程度学生发展的自主学习型高效课堂模式。学生在教师的科学指导下，围绕确定的学习目标...

基于MATLAB的信号与系统实验教程

本书通过三个部分分别介绍了MATLAB的基本使用方法、信号与系统基本实验及实例建模与分析。