当前位置:首页 > 名称
大约有530,281项符合查询结果项。(搜索耗时:0.6205秒)
为您推荐: 几何定理机器证明的案例 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
建筑结构的基本原理及应用
余荣春,余景良,吴卫华主编;肖哲涛,刘宇,包明,杨小卫副主编2015 年出版380 页ISBN:9787517024811本书系统地讲述了建筑结构的基本原理及各类建筑结构的设计与运用,试图以理论为前提,以应用为目的,以必须精要为度,力求具有针对性、适应性和实用性。本书基本概念清晰,基本理论简明扼要,从建筑结构的概述开始,......
-
机器人设计与制作系列 ROS机器人编程 原理与应用
(美)怀亚特·S·纽曼著;李笔锋,祝朝政,刘锦涛译2019 年出版450 页ISBN:9787111625766本书共分为六部分。第一部分介绍了如何编写ROS节点和ROS工具,也覆盖了消息、类和服务器。本书的第二部分是用ROS进行仿真和可视化,其中包括坐标变换。第三部分讨论了ROS的感知过程。第四部分介绍了ROS中的移...
-
灾难性风险行政法规制的基本原理
戚建刚,易君著2015 年出版362 页ISBN:9787511882349本书主要阐述国际及我国所面临的主要灾难性风险的类型;通过对政府规制、市场控制、个人分担灾难性风险的比较以及应对灾难性风险和应对日常风险的比较,表明应对灾难性风险需要政府规制权力的介入,且需要不同于...
-
-
-
-
-
-
-
学科分类
出版时间
