(韩)许纯凤,朴钟宽编写;太美玉译2005 年出版159 页ISBN:750122532X
本书是《WHY》系列图书中的一本,对儿童进行生命科学教育,适合儿童阅读。
孙明湘著2004 年出版223 页ISBN:7810619683
本书对初步、经典的数理逻辑进行了讲述,介绍了命题演算、谓词演算、模态逻辑演算,以及构造性逻辑演算等几方面内容。
孙明主编2005 年出版176 页ISBN:9787563218554
本书主要内容为船舶动力装置概论、船舶推进装置、船舶管路系统、船舶防污设备及管理、船舶电气及轮机自动化设备的管理、轮机节能技术、备件、物件的管理、轮机安全运行及应急处理。...