大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Cade 的图书(共7本)

Automated Deduction-CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wroc艂aw, Poland, July 31 - August 5, 2011. Proceedings

0
索取号：
作者：Bj酶rner、 Nikolaj.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Deduction-CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

0
索取号：
作者：Schmidt、 Renate A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Automated Deduction-CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

0
索取号：
作者：Pfenning、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Deduction-CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

0
索取号：
作者：Nieuwenhuis、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Acute medicine : uncommon problems and challenges

0
索取号：R459.7-61/E20121
作者：Cade、 J. F. (John F.)、
出版社：Cambridge : Cambridge University Press, 2011.

Essentials of respiratory medicine

0
索取号：R56/E906
作者：Cade、 J. F. (John F.)、Pain、 M. C. F.、
出版社：Oxford ; Boston : Blackwell Scientific ; Chicago, Ill. : Distributors, USA, Year Book Medical Publishers, 1988.

Managing banking risks

0
索取号：F830.2/E993
作者：Cade、 Eddie.、
出版社：Chicago : Glenlake Pub. Co. ; New York: AMACOM, c1999.