扫描仪 数码相机 数字摄像头选购与使用 【工业技术】

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

超级智商提高班 华罗庚的数字巅峰 【文化科学教育体育】

数字信号微处理器的原理及其开发应用 【工业技术】

服务与保护 适用于警察和安全部队的人权和人道主义法 【政治法律】

本书编集了所有与职业的执法实践有关的人权和人道主义法规则，涵盖了从和平状态到国际性武装冲突的所有情况。

政企关系演变的实证逻辑 经济转轨中的广东企业政策及其调整 【经济】

本书以广东省各级地方政府与企业关系的演变为案例，具体考察20年来广东政企关系演变的历史进程。揭示政企关系演变中各自转轨动机与能力的变化可能会更好地把握政企关系演变的轨迹，避免在政企分离中操之过急与...

高速实时数字信号处理器SHARC的原理及其应用 【工业技术】

经典与新境界 从马克思到邓小平社会主义观的发展 【政治法律】

本书把马克思以来革命导师关于社会主义的基本认识作出系统的考察，从中找出合乎规律的基本思路和线索。

数字电视与图像通信 【工业技术】

上海普通高校“九五”重点教材世界银行贷款资助项目:本书内容包括视频图像信号的数字化、模拟电视信号的数字处理技术、图像压缩编码技术及其国际标准、声音压缩编码技术及其国际标准、数字电视传输技术；介...

鼎新之势 数字化浪潮中的中国企业 【经济】