搜尋書籍

Formal verification of object-... 手動新增

edited by Bernhard Beckert, Claude Marche.

Springer Berlin Heidelberg

Automated Reasoning with Analy... 手動新增

edited by Bernhard Beckert.

Springer-Verlag GmbH.

The American bourgeoisie : dis... 手動新增

[edited by] Sven Beckert and Julia B. Rosenbaum.

Palgrave Macmillan

A young Dutchman views post-Ci... 手動新增

Claude August Crommelin ; translated by Augustus J.Veenendaal, Jr. ; edited with an introduction by Augustus J. Veenendaal, Jr., and H. Roger Grant.

Indiana University Press

Study and listening guide for ... 手動新增

J. Peter Burkholder.

W.W. Norton

Advances in forest inventory f... 手動新增

edited by Piermaria Corona, Michael K鋌hl, and Marco Marchetti.

Kluwer Academic Publishers