当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0235秒）
为您推荐： 数字时代工作室著 基于3s和4d的城市规划设计集成技术研究 情报的记忆 纪念上海科学技术 研究所创立五十周年 数字艺术教育研究室著 数字艺术教育研究室 记忆
-
-
-
数字硬件的形式化验证
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
-
-
-
英语万词主题阅读 中高级英语考试的阅读宝典 1万单词的记忆捷径
单小明，单国荣主编2001 年出版239 页ISBN：7306018469本书是以1万英语词汇为基础的普及型中高级英语阅读文选。它按自然科学和社会文化范畴各主题组织了125余篇阅读材料，每篇都以焦点词为中心组织词群串讲，使常用词、常考词进入情景交融的联想天地。...
-
-
-
-
