IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN:0134518322
PUBLIC ADMINISTRATION UNDERSTANDING MANAGEMENT POLITICS AND LAW IN THE PUBLIC SECTOR
2222 年出版573 页ISBN:0070539375
Vapor-Liquid Equilibrium Data Collection 6b Aliphatic Hydrocarbons C7-C18
1980 年出版506 页ISBN:3921567319
FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I
1990 年出版413 页ISBN:044488372x