-
中文图书1.对冲基金全球市场盈利模式:当下全球资本市场条件下独具慧眼的投资策略 F830.59/493
馆藏复本:3
可借复本:2 塞恩·D.卡斯特拉恩, 小罗伯特·G. 耶曼著
上海财经大学出版社 2012
(0) 馆藏 -
中文图书2.交互式定理证明与程序开发:Coq归纳构造演算的艺术:coq'art: the calculus of inductive constructions O141/61
馆藏复本:3
可借复本:3 Yves Bertot, Pierre Casteran著
清华大学出版社 2010
(0) 馆藏