模型检测

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

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

木偶奇遇记

（意）科洛迪著；（美）克莱尔改编；（意）玛丽亚绘；赵岩译2014 年出版26 页ISBN：9787535056276

木匠皮帕诺睡觉的时候，梦见一位天使赋予他的木偶皮诺曹生命，于是小木偶开始了他的冒险。在历险中，他因贪玩而逃学，因贪心而受骗，还因此变成了驴子。最后，他掉进一只大鲸鱼的腹中，意外与皮帕诺相逢……经过这次......

颅脑颈部局部解剖彩色图谱

段坤昌，王振宇，李庆生主编；王忠诚主审；曹德寿，王鲁建，孟丽荣副主编2015 年出版248 页ISBN：9787538190243

解剖图谱一直是医学学生和初中级临床医生必备的工具书，市场销量一直很稳定。由于颅脑颈部形态结构复杂，临床病例复杂多变，加之该领域的不断发展，创新术式的不断开拓，以及颅脑颈部显微外科技术的日新月异，只有与.....

如果有一颗心是自由的

王鲁彬著2019 年出版262 页ISBN：9787559618832

本书是一本感悟成长、感悟自由的随笔集，作者用一篇篇的散文，回顾和梳理了自己在成长过程中的一些经历，以及她对这些经历的感受和思索。该书自始至终以自由主题贯穿，作者认为，自由就是勇敢追逐梦想，不给人生设限.....

狗和他的影子

（韩）姜仑廷改编；李友范绘；高若岩译2003 年出版49 页ISBN：756003554X

本书是《伊索寓言》系列读物中的第28本。《伊索寓言》系列读物，是一位韩国作者经过精心筛选、再三修改和反复增添编写而成的儿童英语多媒体读物。全系列读物共30本，每本内容都是由一个经典、有趣的英语寓言和...

狼堡魔影

（奥）托马斯·布热齐纳（Thomas Brezina）著；赵岩译2004 年出版97 页ISBN：7531537060

《狼堡魔影》是一部畅销欧洲的历险幻想小说。莱昂感到困惑：那个躲在暗处用箭射他的神秘的弓箭手究竟是谁呢？那银箭散发着绿色的光，威胁着巨大的狼堡……莱昂很清楚：自己的处境十分危险。而要揭开这个秘密的时候...

营造的智慧 深圳大鹏半岛滨海传统村落研究

王鲁民，乔迅翔著2008 年出版163 页ISBN：9787564114992

由于地处边陲，毗邻香港，加上“迁界”、“移民”等重要历史的影响，深圳大鹏半岛传统村落在体系、构成和建筑上形成了如“多维度联系的村落系统”、“多元文化紧密并置”、“公共设施的外置化倾向”、形态上的“...

实用家庭医生手册

崔天国，王鲁奎，荣宝海主编2018 年出版423 页ISBN：9787534991424

本书由经验丰富的全科医师编写，共 20 章。包括家庭医生与全方位健康建设，衰老性疾病、代谢性疾病、高血压病、冠心病、脑卒中、退变性疾病、肿瘤、妇科疾病、容易忽视的疾病、感染性与性传播疾病、心身疾病等...

阿拉蕾 第11卷 宝瓜宝瓜之卷

（日）鸟山明著；梁晓岩译2008 年出版190 页ISBN：9787500788744

本书是日本漫画大师鸟山明的成名作，也是世界漫画史上的一部经典。

数字电路与系统实践教程

于海霞，王鲁云，李美花，许少娟编著2015 年出版228 页ISBN：9787121256462

本书内容包括数字电路基础及逻辑门、组合逻辑电路、触发器、时序逻辑电路、存储器及可编程逻辑器件、555定时器、数/模与模/数转换、Verilog HDL硬件描述语言、FPGA设计开发软件QuartusII的使用、数字系统...