当前位置：首页 > 名称
大约有137,885项符合查询结果项。（搜索耗时：0.2141秒）
为您推荐： 汽轮机设备及辅助系统课程设计 汽轮机设备及辅助系统设计计算 汽轮机辅助系统 热电厂汽轮机热力系统设计计算和热经济性分析 循环流化床锅炉设备及系统课程设计 线性控制系统计算机辅助分析
-
高阶逻辑辅助证明系统 【工业技术】
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
-
-
-
辅助沟通系统及实用技术 【文化科学教育体育】
陈强，徐云主编2011 年出版173 页ISBN：9787030322418沟通辅助技术概述（第一章），主要包括沟通辅助技术的定义、作用、特征和分类等；沟通辅助技术的目的和对象（第二章），主要包括沟通辅助技术的目的和沟通辅助技术的对象；常用的沟通辅助技术介绍（第三章）；个性化......
-
-
-
智能网联汽车先进驾驶辅助系统关键技术 【交通运输】
崔胜民，俞天一，王赵辉编著2019 年出版186 页ISBN：9787122336132《智能网联汽车先进驾驶辅助系统关键技术》一书系统介绍了智能网联汽车先进驾驶辅助系统（ADAS）关键技术，包括智能网联汽车的环境感知技术、前向碰撞预警技术、车道偏离预警技术、盲区监测技术、车道保持辅助技...
-
九年义务教育新课程辅助教材 语文课外同步阅读 七年级第一学期用 配人教版 第2版 【文化科学教育体育】
广东省教学教材研究室编2003 年出版114 页ISBN：7540649771
学科分类
出版时间