文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TN303/K090 | 碳化硅功率模块设计 | (日) 阿尔贝托·卡斯特拉齐, (意) 安德里亚 | 机械工业出版社 | 2024.12 |
| 2 | O141-39/B675 | 交互式定理证明与程序开发 | 贝尔托, 卡斯特拉著;顾明等译 | 清华大学出版社 | 2010 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TN303/K090 | 碳化硅功率模块设计 | (日) 阿尔贝托·卡斯特拉齐, (意) 安德里亚 | 机械工业出版社 | 2024.12 |
| 2 | O141-39/B675 | 交互式定理证明与程序开发 | 贝尔托, 卡斯特拉著;顾明等译 | 清华大学出版社 | 2010 |