DJS-130电子数字计算机使用说明书

数字签名

本书是运用现代密码学的风格进行论述的一本关于数字签名的专著，全面介绍了可证明安全数字签名的最新进展。内容涵盖不需要ROM的签名，包括：基于通用假设构造，基于（强）RSA假设的签名，基于双线性映射构造；以及基于......

康佳卫星数字彩色电视机电路分析与故障检修

数字硬件的形式化验证

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

大数字时代

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

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

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

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

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

数字矿山技术与应用

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

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