带钢冷连轧工艺与自动控制
¥160.00
几何定理机器证明的几何不变量方法
¥128.00
概率计量逻辑及其应用
扩散方程计算方法
磁共振成像系统的电磁理论与构造方法
¥398.00
方程求解与机器证明——基于MMP的问题求解
¥118.00
半导体光谱分析与拟合计算
¥139.00
材料强度力学
混凝土结构原理(第3版)(配套课件)
¥0.00
混凝土结构原理(第3版)(配套视频)
电工学(下)——电子技术基础
¥24.00
Arduino机器制作、编程与竞赛
¥39.00
人工智能之Mixly趣味编程
数字电路逻辑设计
¥69.80
流体力学(上)
电路与模拟电子技术
不等式机器证明与自动发现 / 数学机械化丛书
作者: 杨路 夏壁灿
出版社:科学出版社
内容评价
质量评价