当前位置:首页 > 名称
大约有2,000项符合查询结果项。(搜索耗时:0.0103秒)
为您推荐: 微分几何 常微分方程几何理论 微分几何与拓扑学简明教程 微分几何与共轭曲面原理 随机微分方程和应用 常微分方程和无穷级数
-
-
-
-
-
-
数字硬件的形式化验证 【工业技术】
韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
-
-
-
意义与形式 英美作家作品风格生成论 【文学】
易晓明著2001 年出版272 页ISBN:7206026397本书为适合中学生和大学低年级学生阅读的中英文对照读物,其中设有童话寓言、生活新知、环球之旅、美丽人生、说文解字、英语快餐、名人名言、幽默乐园、赠言赠诗、英文金曲、电影赏析、文学名著等栏目。...
-
公有制实现形式多样化通论 【经济】
荣兆梓等著2001 年出版486 页ISBN:7505824945国家社会科学基金项目 安徽大学“211工程”学术著作出版基金资助项目。本书首先从公有制实现形式多样化的事实出发,对有关基础理论问题进行了系统的研讨,以这些基本理论结论为导向,分别考察了公有制实现形式的...
学科分类
