（美）R.A.科比特主编相关电子书下载

范莹，王子弋，卢隽美主编；王子弋等编写2006 年出版348 页ISBN：7562819491

本书全面介绍了青年学生必须具备的各方面的基础礼仪知识，内容涉及礼仪导论、学校礼仪、家庭礼仪、社交礼仪、公共生活礼仪、公务礼仪、商务礼仪，服务礼仪、国际交往礼仪、求职礼仪等。...

（美）米切尔著；徐潜主编；杨涛译写2003 年出版138 页ISBN：7806260080

本书以美国著名的南北战争为写作背景，以女主人公思嘉同维希礼、瑞德之间的感情纠葛为主线，虚实结合地向读者展示了一幅时代卷画。

（美）戴维森（Davidson，S.）主编；赵素娟等译1987 年出版347 页ISBN：4166·776

（美）劳拉（Laura，I.W.）著；刘葆宏，万培德主编1986 年出版392 页ISBN：7150·3372

（美）C.H.倍斯脱，N.B.泰勒主编；李茂之主译1965 年出版462 页ISBN：14119·1223

（美）莫林·麦登主编2018 年出版461 页ISBN：7308162920

孙启美主编2001 年出版348 页ISBN：9787538327502

（美）查普曼（Chapman，H.D.）主编；庄伊美等译1986 年出版535 页ISBN：16119·880

（美）福伊尔（Feuer，H.）主编；李惠黎等译1988 年出版414 页ISBN：711800152X

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...