美国幼儿园课本 PREK阶段 1 同步练习册答案与解析

（美）帕特莱克，韩国英创文化著；李小贝译2015 年出版43 页ISBN：7538586459

高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

电度表的检修

苏联恩·格·沃斯特罗克怒塔夫著；屠大鲁，沈庆墀译1954 年出版161 页ISBN：

奇怪的大鸡蛋

（美）巴特沃斯（O.Butterworth）著；唐志明译1981 年出版139 页ISBN：R13056·124

内分泌病理学

（美）利沃斯著2002 年出版370 页ISBN：7117049235

中国的牧区

（澳大利亚）约翰 W.朗沃斯（John W.Longworth），（澳大利亚）格里格·威廉目森（Gregory J.Williamson）著；丁文广等译1995 年出版417 页ISBN：7806081364

神奇的NLP 改变人生的非凡体验

（英）大卫·莫登，（英）帕特·哈钦森著；张鹏，罗玉倩译2012 年出版142 页ISBN：9787562463047

NLP是一种帮助人们克服无助思想与行为的技术和工具，人的行为是可以通过思想的改变而改变的。本书介绍了NLP的基本概念和工具，帮助人们通过价值观的重塑而改变自己的思维模式，进而改变对自己无益的行为。...

悬念大师 希区柯克的电影

（英）帕特里克·汉弗莱斯著；谢电波译1992 年出版289 页ISBN：7536008465

首席女法医 绿头苍蝇

（美）帕特丽夏·康薇尔著2012 年出版371 页ISBN：9787544252164

本书为美国顶级畅销书作家帕特丽夏·康薇尔的法医探案小说“首席女法医”系列第12部。辞去弗吉尼亚首席女法医工作、开始担任私人法医顾问的斯卡佩塔，迎向佛罗里达寻找阳光与慰藉。然而，恐怖的梦魇如影随形。...

SPRING实战 第5版

（美）克雷格·沃斯著2020 年出版0 页ISBN：