-
中文图书1.Python项目开发实战 TP311.56/601
馆藏复本:3
可借复本:2 (美) Laura Cassell, (美) Alan Gauld著
清华大学出版社 2015
(0) 馆藏
-
中文图书2.交互式定理证明与程序开发:Coq归纳构造演算的艺术 O141-39/1
馆藏复本:2
可借复本:2 Yves Bertot,Pierre Casteran著
清华大学出版社 2010
(0) 馆藏