-
西文图书1.Symbolic logic and mechanical theorem proving / O141/C456
馆藏复本:2
可借复本:0 Chin-liang Chang [and] Richard Char-Tung Lee.
Academic Press, 1973.
(0) 馆藏 -
西文图书2.Practical object-oriented development with UML and Java = UML与Java面向对象开发 / TP312/L479
馆藏复本:5
可借复本:4 Richard C. Lee, William M. Tepfenhart著.
清华大学出版社, 2004.
(0) 馆藏 -
中文图书3.UML与Java面向对象开发实践 TP312/7472
馆藏复本:7
可借复本:6 (美) Richard C. Lee, William M. Tepfenhart著
清华大学出版社 2003
(0) 馆藏