复杂数字电路与系统的Verilog HDL设计技术 【工业技术】

数字里的学问 【数理化】

本书是作者多年来积累与整理的关于数字1～10的知识及故事等，内容丰富实用，上至天文，下至地理；文到历史，理到科学；外涉国际，内涉市县；远及远古，近及现代。五花八门，古今中外，包罗万象，集全面性、知识性和趣......

阿尔巴尼亚社会主义二十年 比较的数字 【政治法律】

新趋势 新思维 新途径 数字时代的档案工作 【文化科学教育体育】

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

下一个伟大的思想 在数字经济时代如何管理 【经济】

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

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

食品添加剂和污染物的评估 第49届FAO/WHO食品添加剂专家联席会议报告 【工业技术】

苏联对外政策 各国人民和平友好的政策 【政治法律】

目标·战略·政策 构筑上海人才高地的跨世纪工程 【社会科学】