数字硬件的形式化验证 【工业技术】

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

数字经济 美国商务部2000年电子商务报告 【经济】

发电机组控制系统数字化改造培训教材 【工业技术】

信息隐藏技术 隐写术与数字水印 【工业技术】

本书详细介绍了涉及数据通信安全的信息隐藏技术，以及用于数字产品知识产权保护的水印技术。

数字信号处理 基于计算机的方法 第2版 【工业技术】

数字化管理 应对挑战 掌控未来 【经济】

本书对金融、制药、机械制造、日用消费品、化工、汽车等不同行业的数字化管理系统，逐一给予列举和论述分析，对企业不同价值链，如财务、生产制造、销售、人力资源等，分别提供有效的解决方案。 ...

中国科学院、中国工程院院士超星数字图书馆题词集 【文学】

信息时代战争新着译丛（第一辑） 数字化战争 【其他书籍】

计算机音乐制作与数字音频 【工业技术】

上海普通高校“九五”重点教材世界银行贷款资助项目:本书重点介绍了MIDI技术的技术标准和系统组成；计算机音乐制作软件及其应用；数字音频基础和数字音频技术三部分内容。...

石油勘探开发信息化 从数据处理到数字油藏 【天文地球】