（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
理查德·谢弗，菲利伯多·阿格斯蒂，卢西恩·杜格等著2018 年出版463 页ISBN：9787300261607
本书是一本非常经典的国际商法著作，紧紧围绕企业开展国际化经营所可能面对的法律问题，全面系统地阐述了相关的法律政策和企业应对策略，包括国际法基础理论、国际货物买卖、国际贸易管制、国际知识产权保护等内...
（英）伯罗斯，（英）福斯特著；祁佳译2013 年出版42 页ISBN：9787513537612
本书属于简易文学。本书讲述了一个惊险刺激的冒险故事，该故事发生在一个自称无罪的囚犯身上：“我必须从这儿逃出去。”布朗望着牢房外面。一个大胆的计划，一场惊心动魄的冒险，命运究竟会将他带去何处？...
（美）西尔伯沙茨（Abraham Silberschatz）等著；杨冬青等译2002 年出版525 页ISBN：7111077598
数据库系统概念，ISBN：9787111077596，作者：（美）西尔伯沙茨（Abraham Silberschatz），（美）Henry F. Korth，（美）S.Sudarshan著；杨冬青 等译
黄宪西，闫兴伯主编2002 年出版191 页ISBN：7040110032
中等职业教育国家规划教材国际商务专业:本书以训练学生正确运用国际贸易知识来处理往来函电的基本能力为主，内容包括三个方面：函电的格式、套话(包括术语、习语即习惯表达)和国际贸易知识。...
