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

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

中级财务会计学习指导书 基于合作研究性教学的课程设计

本书内容：第一篇 课程总体分析包括：教学资源分析、教学内容优化与分析、教学过程设计与分析、动态的教学评价、预期教学效果的说明。第二篇 教学设计方案包括：教学目的和要求、内容提要、重点与难点、有关提...

PIC单片机典型模块设计实例导航

本书以PIC单片机的典型应用功能为模块，分门别类地向读者介绍了如何在实际项目中，合理选择PIC单片机、外围器件和设计相应的程序。

遥感数据智能处理方法与程序设计

智能仪器原理与设计

本书全面系统地阐述了智能仪器的体系结构、基本硬件和软件的设计原理及实现方法。在此基础上，本书注重理论联系实际，力求反映近年来智能仪器领域的技术进步和方向。...

中国家庭抗逆力 基于罕见病儿童家庭系统的研究

研究以生态系统理论和优势视角理论为分析工具，在系统梳理国内外对家庭抗逆力研究的基础上，以家庭为单位收集资料，采用叙述分析的方式，了解不同罕见病儿童家庭的风险要素和保护要素，总结出影响家庭抗逆力的三大系...

汽车制造生产系统仿真技术应用实践 基于Flexsim

WEB系统开发技术 基于Windows NT 4.0

建筑智能化专业技能型紧缺人才速学丛书 速学消防系统施工

本书分为9部分，强调实用性和可操作性，包括消防系统概述、火灾自动报警与消防联动系统、防火与防灾系统等，内容全面实用

五星级酒店智能化系统工程案例

本书完全从工程实际出发，介绍了编者们设计的杭州某旅游文化村五星级酒店工程概况及总体要求，智能化系统设计（楼宇设备自动化控制及能耗管理系统、布线系统、计算机网络系统、语音通讯系统、综合安保系统、有线...