大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 March茅 的图书(共2本)
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers0索取号: 作者:Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、 出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. | The Biographical Encyclopedia of Astronomers [electronic resource]0索取号: 作者:Hockey、 Thomas.、Trimble、 Virginia.、Williams、 Thomas R.、Bracher、 Katherine.、Jarrell、 Richard A.、March茅、 Jordan D.、Ragep、 F. Jamil.、Palmeri、 JoAnn.、Bolt、 Marvin.、SpringerLink (Online service)、 出版社:New York, NY : Springer New York, 2007. |
最近添加的分类


粤公网安备 44030602003680号