小朋友最爱的速食 教你在家满足小朋友的胃

逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

再见啦，那些让人忧心的生活谣言

服饰心理学 兼析赶时髦及其动机

现状突破与稀释 中 服务式公寓-满足新的生活需求

本书汇集了全球优秀的公寓设计，对参考的精彩案例加以分析编纂。从华丽大气的服务式公寓，温暖舒适的住宅式公寓，到五脏俱全的混合式公寓，各种类型、各种高度一应俱全。通过精美的图文，本书带领读者了解开发商的需...

365沙拉 品味季节变换的大满足

这本诱人的食谱收集了365道沙拉菜式，可以让你一年到头天天享用到不同的沙拉。在书的每章开头都有彩色的日历页，让你可以一眼看到当月有哪些食材适合做成时令沙拉，这些沙拉都可以在哪些场合食用，从而得到整个月...

让人惊叫的糖霜饼干

这是一本生活烘焙类图书，从最基本的面团揉制、糖霜调配到压制技巧，以及烘焙秘诀保证读者一学就会。全书分为六章，第一章主要介绍制作糖霜饼干的基础常识；第二章介绍动物图案和植物图案的制作；第三章介绍小朋友们...

移动端UI商业项目实战 让人爱不释手的移动端UI设计

建筑学速览 即时掌握的200个建筑学知识

本书内容为：建筑学——普及读物。 《建筑学速览：即时掌握的 200 个建筑学知识》内容简单而实用，介绍了 200 个重点的建筑学知识。每个知识点都有一个易于理解的画面和简洁的解释，使读者很容易理解其概念。书中...

100种微波炉马克杯蛋糕 5分钟满足你的甜食爱恋

在欧美日本引发大流行的马克杯蛋糕，是一种很有趣而且非常快速就可以变出来的蛋糕。只要有1只马克杯，加上厨房现有的材料，美味的软心蛋糕与浓郁的爆浆蛋糕，5分钟之内就可以热腾腾地马上享用！所有的材料都以汤匙计...