（美）（G.乔伊斯）Gerald Joyce，（美）（M.穆恩）Marianne Moon著；北京博彦科技发展有限公司译1999 年出版326 页ISBN：7301042817
（美）（J.乔伊斯）Jerry Joyce，（美）（M.穆恩）Marianne Moon著；北京博彦科技发展有限公司译1998 年出版284 页ISBN：7301038356
（美）Richard C. Lee，（美）William M. Tepfenhart著；麻志毅，蒋严冰译2002 年出版436 页ISBN：7111105788
（美）亚当斯（Waiter Adama），（美）格雷（Horace M. Gray）著；加东译1958 年出版237 页ISBN：4002·129
（美）林恩·M.弗雷泽（Lyn M Fraser），（美）艾琳·奥米斯顿（Aileen Ormiston）著；卢崇梅译2003 年出版147 页ISBN：7300050905
本书介绍了公司年度报告（会计报表）的各组成部分，并对这些报表的各项指标进行了简明分析。
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）安德鲁·卡洛尔（
本书是一部跨越140年的战时美军官兵及新友的两地家书集。
（美）艾琳·克莱格（Eileen M. Clegg），（美）苏珊·斯沃茨（Susan Swartz）著；刘洋等译2004 年出版237 页ISBN：7536041314
本书是当代美国作家有关青少年教育的著作，叙说一种非传统的好女孩，她们是用新模式取代旧规矩、有头脑的新女性。这些人都能取得成功，找回自我。...
（美）钱纳里（Chenery，H.），（以）塞尔昆（Syrquin，M.）著；李新华等译1988 年出版254 页ISBN：7505801260
