（美）（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
本书介绍了公司年度报告（会计报表）的各组成部分，并对这些报表的各项指标进行了简明分析。
乔纳森·斯威夫特（Jonathan Swift）著2007 年出版234 页ISBN：9787506248389
本书通过里梅尔格列佛船长之口，叙述了周游四国的奇特经历。但仔细体会，却处处揭露着英国社会的黑暗现实，并寄寓着作者的理想。
（英）乔纳森·斯威夫特著；王丽平，程庆华译2009 年出版206 页ISBN：9787546310459
本书是英国的讽刺作家斯威夫特的代表作，他以一个外科医生格列佛的口吻叙述了在航海时遇难、漂流到几个奇异国度的经历。幻想与现实的有机统一，是这部作品的最大特点。...
（美）乔纳森·戈林（Jonathan Golin）著；王欣等译2004 年出版552 页ISBN：7111126270
《银行信用分析手册》的第1章回答的是这样一些问题：什么样的人可以被称为“银行分析家”？银行分析家是干什么的？银行分析家为谁提供服务？有几种类型的银行分析家？第2章至第15章是《银行信用分析手册》的核心。该...
（美）弗里克，（美）莫尔豪斯著2013 年出版236 页ISBN：9787118085532
本书主要对智能电网的优点和安全脆弱性相关内容进行阐述。通过对智能电网环境下各个实体进行深入分析，本书对各个实体在机密性、完整性和可达性方面存在的安全问题以及如何保证上述安全特性进行了论述。通过...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
