当前位置:首页 > 名称
大约有204,837项符合查询结果项。(搜索耗时:0.3370秒)
为您推荐: 三维形状几何处理 三维几何学 离散几何处理与应用 高分辨率光学卫星遥感影像高精度几何处理与应用 三三维几何 智能交互技术与应用
-
-
-
-
-
-
-
生活污水和垃圾处理设施采用政府和社会资本合作(PPP)模式操作指南与实例
陈伟雄主编2017 年出版102 页ISBN:9787112215775本书是为了配合广东省政府颁发的《加快推进粤东西北地区新一轮生活垃圾和污水处理基础设施建设实施方案》,旨在通过采用政府与社会资本合作模式,提高项目效能,解决以往“重建轻管,重厂轻网,重量轻质”所带来的低...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
临床麻醉意外和并发症的预防与处理
宋德富主编2007 年出版811 页ISBN:9787117091398本书共分四篇六十八章,第一篇主要介绍麻醉前用药和麻醉中用药意外,不良反应发生原因,临床表现及并发症的预防与处理。第二篇重点介绍麻醉方法、麻醉技术、麻醉复苏期间意外和并发症的诊断、预防与处理。第三篇...
-
学科分类
出版时间
