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

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号:
作者: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.
最近添加的分类