（美）刘占江主编相关电子书下载

（美）米切尔著；徐潜主编；杨涛译写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...

（美）索尔特，（美）达舍尔，（美）阿马多尔原著；徐轶群2018 年出版279 页ISBN：9787565916601

本书是“儿童营养·安全·健康促进丛书”的营养分册，全面阐述了与儿童营养相关的各方面内容，包括：儿童营养基础，营养科学，婴儿喂养，幼儿、学龄前儿童和学龄儿童的喂养，菜单的制订以及食品安全。每章以案例开始......