FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
CHEMICAL AND PHYSICAL METHODS FOR PROTECTING BIOPOLYMERS AGAINST PESTS
2008 年出版237 页ISBN:9781604563313
BASIC PHOTOVOLTAIC PRINCIPLES AND METHODS SOLAR ENERGY RESEARCH INSTITUTE
1984 年出版249 页ISBN:0442281269