当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0602秒)
为您推荐: 微分几何 常微分方程几何理论 微分几何与拓扑学简明教程 微分几何与共轭曲面原理 随机微分方程和应用 常微分方程和无穷级数
-
-
-
形式语言与自动机理论 【工业技术】
吴哲辉,吴振寰编著2007 年出版180 页ISBN:7111209982普通高等教育“十一五”计算机类规划教材:本书主要介绍乔姆斯基文法体系的四类文法以及它们与有限自动机、下推自动机、线性界限自动机和图灵机之间的关系。...
-
再制造-再循环的最佳形式 【工业技术】
(德)罗尔夫·施泰因希尔佩(Rolf Steinhilper)著;朱胜,姚巨坤,邓流溪译2006 年出版119 页ISBN:7118043397本书介绍再制造的发展背景、主要概念、工艺路线、国际再制造发展的情况、影响再制造的因素及其在制造所具有的巨大资源和环保价值。
-
西方工业设计300年 功能 形式 方法 1700-2000 【工业技术】
(丹)阿德里安·海斯(Adrian Heath)等著;李宏,李为译2003 年出版270 页ISBN:7538613781 -
楼梯 材料·形式·构造 原第2版 【工业技术】
(英)艾伦·布兰克(Alan Blanc),(英)西尔维娅·布兰克(Sylvia Blanc)著;谢建军,黄健,康竹卿译2005 年出版208 页ISBN:7800119998本书通过照片和图解的形式,充分展示了楼梯在建筑中的重要作用,可供建筑师、室内设计师参考。
-
数字硬件的形式化验证 【工业技术】
韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
-
-
-
学科分类
