数字硬件的形式化验证

国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...

大数字时代

本书从数字经济时代的崛起讲起，以宏大的视角给读者描绘了一幅数据科学、智慧文化的全景图。本书阐述了数字经济发展的历史进程，我国如何布局数字经济，数字经济如何与国家战略高度契合，数字经济如何和企业转型升...

数字软件实践系列 计算机与平面设计基础

中国有线数字电视试点现状报告

本书对中国开展数字电视试点工作的51个城市进行调查，分析归纳出适合我国国情的适当的运营模式，为2008年全面开展数字电视做准备，时效性强。...

数字化制造实训基础教程 基于UG

小流域坝系规划及数字仿真模拟计算研究

数字矿山技术与应用

本书采用理论联系实际、理论与实际并重的指导思想编写而成的。介绍了数字矿山技术的国内外研究现状及存在的问题；介绍了数字矿山建设的关键技术，主要针对矿山工程地质的解译技术、工程地质数据库技术、三维地...

北京地区高校数字媒体艺术本科专业培养模式研究

数字图像处理

本书系统介绍了数字图像处理与分析涉及的基本思想和典型算法，具体内容包括数字图像处理基础、图像的基本运算和正交变换、数字图像处理和分析的基本方法和技术（包括图像增强、图像复原、图像重建、形态学运算...

数字信号处理学习指导典型题解 新版

本书按照教学大纲要求，针对学生学习中存在的问题而编写，全书分为5章。