当前位置：首页 > 名称
大约有400项符合查询结果项。（搜索耗时：0.0085秒）
为您推荐： title逻辑学 从形式逻辑到非 逻辑 title b端产品经理必修课2.0从业务逻辑到 溯因推理 从逻辑探究发现与解释 逻辑之旅从哥德尔到哲学 王浩作品集 从1万到 亿 证券投资底层逻辑 持续执政的逻辑 从制度文化发现中国历史
-
-
公路棚洞结构形式及应用
刘洪洲，张志刚著2015 年出版124 页ISBN：9787114120220本书较详细地介绍了公路棚洞结构设置的必要性、国内外现状、结构型式、分类、适用性、计算方法及设计选型流程等。全书共分为6章，包括棚洞结构型式及分类、棚洞的荷载结构法计算、棚洞的地层结构法计算、棚...
-
库岸公路破坏形式及加固防护对策
张林洪，彭绍勇，李健编著2018 年出版833 页ISBN：9787114145742本书主要框架和内容为：库岸公路设计施工的基础资料和基本理论——非饱和土的基本理论及岩土物理力学性质与含水率的关系→库岸公路、桥梁破坏类型、破坏机理及其破坏范围和稳定性计算分析理论方法→库岸公路...
-
列车运行安全行为建模与形式化技术研究
陈永，胡晓辉著2017 年出版269 页ISBN：9787113225797随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
-
-
-
-
-
-
学科分类