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

Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

0
索取号：
作者：Beringer、 Lennart.、Felty、 Amy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Functional histology

0
索取号：R329/E908.2
作者：Borysenko、 Myrin.、Beringer、 Theodore、 1944-、
出版社：Boston : Little, Brown, c1984.

Genes in the environment : the 15th Special Symposium of the British Ecological Society held at St. Catherine's College, Oxford, 17-19 September, 2001

0
索取号：Q346-532/E20031/15
作者：British Ecological Society. Special Symposium (15th : 2001 : St. Catherine's College、 Oxford)、Hails、 Rosemary.、Beringer、 John.、Godfray、 H. C. J.、 1958-、
出版社：Malden, MA : Published for the British Ecological Society by Blackwell Science, 2003.

Historical analysis : contemporary approaches to Clio's craft

0
索取号：K061/E801
作者：Beringer、 Richard E.、 1933-、
出版社：New York : Wiley, 1978.