符号逻辑 语法语义和证明

（美）大卫·W.安格勒著；陈素艳，张绣蕊译；魏屹东审校2016 年出版333 页ISBN：9787030480392

本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...

小小聪明豆绘本 4 波西和皮普最心爱的玩具

（德）阿克塞尔·舍夫勒著绘；吴怡娜译2014 年出版25 页ISBN：9787513538329

本书讲的是波西要去皮普家住一个晚上。她带了很多很多东西：睡衣、玩具、零食……他们在一起度过了特别开心的一天，玩得高兴极了。可是，临睡觉的时候，波西发现自己忘了带最心爱的青蛙玩具。没有青蛙玩具，波西怎么...

与巫为邻 欧洲巫术的社会和文化语境 the social and cultural context of European witchcraft

（英）罗宾·布里吉斯（Robin Briggs）著；雷鹏，高永宏译2005 年出版442 页ISBN：7301098154

本书对巫术进行了高度原创、非同寻常的分析。在书中，作者并非把视角拘泥于迫害巫师的机制上，而是对现代欧洲的早期生活进行了全方位的呈现。作者通过对大量巫师迫害纪录的研究，揭示了猎巫运动在当时人们生活中...

办公室超人 如何让自己成为公司不可或缺的员工

（美）亚伦·艾斯勒（Alan Axelrod）著；曲涛，杨康博译2006 年出版273 页ISBN：7208064172

本书是一本将超人故事与办公室技巧结合起来的指导读物。通过介绍和分析超人与其他角色之间的关系、超人受欢迎的各种原因，以及超人的性格与爱好，作者将超人的故事与办公室精英的行为准则巧妙地穿插在一起，形式...

Eclipse AspectJ中文版 利用Eclipse和AspectJ进行面向方面程序设计

（美）科尔勒（Colyer，A.）等著；钱竹青，邹正武译2006 年出版382 页ISBN：7302139768

本书讲解面向方面编程语言的特性、编程方法等。

盆腹部CT与MRI影像病例点评 第3版

（美）罗斯，（美）莫提勒原著2016 年出版164 页ISBN：9787509190258

作者收集腹盆部经典影像病例，每一个病例均采用临床病史、影像表现、鉴别诊断、诊断、讨论的格式，使读者在影像专家的引导下分析学习病例。讨论部分参考放射科医师实际工作中的病例讨论模式。适合影像专业医师...

摄影的构图 图像设计的法则

（德）阿尔布雷希特·里斯勒著；牛学译2015 年出版188 页ISBN：9787551408233

所有的视觉艺术家都要面临一个问题：如何在一个画面中组织各种元素，形成和谐的整体，从而能够诉说一个故事或表达某种情感。摄影尤其如此，通过运用各种图像设计的法则，可以将同一个拍摄对象拍出不同的感觉。本书认...

景观实录 SWA60年 Vol.2 2017.04

（美）弗兰·希格勒编2017 年出版128 页ISBN：9787559102126

本书为了纪念世界著名景观事务所成立60周年之际，特此记录其60年的足迹。SWA作为景观设计界的顶级公司，其60年的发展历程中，品质项目遍及全球，对景观行业的发展有着不可小觑的领导作用，暨2017年是SWA成立60周年，值...

拉鲁斯儿童人文百科 看地图游世界名胜

（法）希尔维·贝居埃尔文；（法）乔安·勒·贝尔，（法）安·德芙，（法）庞罗绘；叶子译2017 年出版64 页ISBN：9787541761492

《看地图游世界名胜》介绍了七大洲不同国家和地区的绝美自然景观及传世历史奇迹。各大洲折叠式地图，明确标示了各处景观的位置。独特的画风和充满童趣的文字，让小读者在观赏景色的同时了解世界各地历史和人文...

塑造邻里 为了地方健康与全球可持续性 原著第2版

（英）休·巴顿，马库斯·格兰特，理查德·吉斯著；唐燕，梁思思，郭磊贤译2017 年出版325 页ISBN：9787112177486

本书是有关邻里可持续规划建设的一本重要手册或者参考工具书。本书经过充分更新后，涵盖了很多全新的案例分析和研究。全书共分六章，既从理论上总结了邻里规划的基本思想与原则，又从规划程序、满足地方需求、保...