当前位置：首页 > 名称
大约有538,652项符合查询结果项。（搜索耗时：0.6949秒）
为您推荐： 数字时代的文化 正版图书 title数字帝国 人工智能时代的九大未来图景 数字命运 新数据时代如何颠覆我们的工作 title独角兽项目 数字化转型时代的开发传奇 数字时代的国家和市政管理 title后摄影时代 数字 的影像创作方向
-
-
-
-
-
-
-
科学的科学 技术时代的社会
（英）戈德史密斯（Goldsmith，M.），（英）马凯（Mackey，A.L.）主编；赵红州，蒋国华译1985 年出版290 页ISBN：13031·2895 -
-
数字硬件的形式化验证
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
-
数字城市的理论与实践 第三届中国国际数字城市建设技术研讨会论文集
赖明，阎小培主编2007 年出版763 页ISBN：9787507419214本书为2007年中国国际数字城市建设技术研讨会大会论文集。全书围绕着中国数字城市的技术开发与管理、发展与规划进行了深入的探讨和论证，展示了我国数字城市建设理论的最高水平与成就。...
学科分类
出版时间