— (澳) 约翰·A.朗著 JOHN A. LONG

索 书 号 ：Q959.4/2

标准编码： 978-7-121-35170-9

出版信息：电子工业出版社  2019.01  北京

中文图书

收藏

— (美) EDMUND M. CLARKE, JR, ORNA GRUMBERG, DORON A.

索 书 号 ：TP274/389

标准编码： 978-7-121-35274-4

出版信息：电子工业出版社  2018.11  北京

中文图书

收藏

— (英) A.E.马古兰, B.J.麦吉尔编著

索 书 号 ：Q16/28

标准编码： 978-7-03-060399-9

出版信息：科学出版社  2019.01  北京

中文图书

收藏

— 原著JACQUES CORCOS, MIKOLAJ PRZYDACZ

索 书 号 ：R69/20

标准编码： 978-7-03-061108-6

出版信息：科学出版社  2019.05  北京

中文图书

收藏

— (英) 盖伊.H.沃克, 内维尔.A.斯坦顿, (澳) 保罗.M.萨

索 书 号 ：U46/119

标准编码： 978-7-111-59257-0

出版信息：机械工业出版社  2018.05  北京

中文图书

收藏

— (美) 戴维·A.帕特森, 约翰·L.亨尼斯著 DAVID A. PAT

索 书 号 ：TP303/157

标准编码： 978-7-111-60894-3

出版信息：机械工业出版社  2018.10  北京

中文图书

收藏

— (印度) A.奥利著 A. OHRI

索 书 号 ：TP311.561-62/7

标准编码： 978-7-111-61195-0

出版信息：机械工业出版社  2019.01  北京

中文图书

收藏

— (美) 阿瑟·A.乔达诺, 艾伦·H.莱维斯克著 ARTHUR A.

索 书 号 ：TN914.3/38

标准编码： 978-7-111-61261-2

出版信息：机械工业出版社  2019.01  北京

中文图书

收藏

— (美) 彼得·莱文著 PETER A. LEVINE

索 书 号 ：R749.055/58

标准编码： 978-7-111-57595-5

出版信息：机械工业出版社  2017.09  北京

中文图书

收藏

— (日) 木本恒畅, (美) 詹姆士A.库珀著 TSUNENOBU KIMOT

索 书 号 ：TQ174.75/22

标准编码： 978-7-111-58680-7

出版信息：机械工业出版社  2018.05  北京

中文图书

收藏