肖定丽等著相关电子书下载

（苏）奥西波夫（Осидоз，Б.Н.）等著；秋天，晏节傅译1990 年出版231 页ISBN：7118001945

（苏）华西里耶娃（Н.П.Восилъева）等著；第一机械工业部电器科学研究院自动化研究室译1961 年出版278 页ISBN：15119·1642

田祥璋等著1980 年出版105 页ISBN：3115·429

田凤调等著1985 年出版119 页ISBN：14048·4882

邓小平等著1996 年出版701 页ISBN：7506532662

（美）（M.格德勒）Michael Girdley等著；曹康等译1997 年出版389 页ISBN：7115066248

（美）杨小燕等著1992 年出版210 页ISBN：7500907672

（美）伯　格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792

本书全面地介绍了程序验证理论、规范及有关的方法

赵延年等著1988 年出版102 页ISBN：7810010417

严圣钦等著1992 年出版319 页ISBN：7100010101

本书收录４位朝鲜历史名人小传和４次重大历史事件，其中包括：朝鲜民族英雄李舜臣；近代农民革命领袖金准；朝鲜１８８４年的政变等。