Research handbook on public choice and public law
edited by Daniel A. Farber and Anne Joseph OConnell2010 年出版502 页ISBN:9781847206749;1847206743
PROTEIN RESOURCES AND TECHNOLOGY:STATUS AND RESEARCH NEEDS
MAX MILNER NEVIN S.SCRIMSHAW DANIEL I.C.WANG2222 年出版629 页ISBN:087055249X
Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN:
FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885