(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
(列支敦士登)普尔克尔(Pulker,H.K.)著;仲永安等译1988 年出版481 页ISBN:7030006224
书名原文:Coatingsonglass:本书从玻璃镀膜技术出发介绍了当今研究薄膜的各技术领域
(英)H.K.科尔巴奇(H.K.Colebatch)著;张毅,韩志明译2005 年出版177 页ISBN:7206046886
本书系当代西方政治学著作译著,介绍了关于政策这一概念的理论内涵。