微型计算机汉字数字DBASEⅡ的操作与使用 【工业技术】

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

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

数字城市的理论与实践 第三届中国国际数字城市建设技术研讨会论文集 【工业技术】

本书为2007年中国国际数字城市建设技术研讨会大会论文集。全书围绕着中国数字城市的技术开发与管理、发展与规划进行了深入的探讨和论证，展示了我国数字城市建设理论的最高水平与成就。...

事务信息系统 并发控制与恢复的理论、算法与实践 theory， algorithms， and the practice of concurrency control and recovery 【工业技术】

本书是事务处理的重要进步，它对领域内的理论和实践都进行了深度的讲述，也是讲述多级（对象模型）事务处理最新进展的一本专著。

黑客 电脑时代的牛仔 【工业技术】

暂缺《黑客：电脑时代的牛仔》简介

图像数字水印的JAVA实现 【工业技术】

本书重点介绍空域、DTC、DFT、小波、非对称等常用数字水印技术的JAVA实现，重点介绍了数字水印技术在印刷图像和手机领域的应用和相关JAVA核心软件设计，研究了抗干扰数字水印技术的JAVA实现。...

媒体时代的建筑与艺术 【工业技术】

算法竞赛宝典 基础算法艺术 【工业技术】

通过一系列虚构魔法世界的冒险故事，巧妙地将算法设计包含其中，算法内容包括分治算法，递归算法，排列组合问题，高精度算法，排序算法，穷举算法，贪心算法，递推算法，搜索算法，模拟算法和动态规划算法等。更重要......

数码时代的灰色诱惑 【工业技术】

数字信号完整性：互连、封装的建模与仿真 【工业技术】

本书包括数字系统与传输，信号完整性，互连结构等知识。