（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（奥）克里斯蒂娜·涅斯特林格著；（德）艾哈德·迪特尔插画；湘雪译2018 年出版151 页ISBN：7556832627
弗朗兹的故事讲述了弗朗兹从六岁到八岁成长故事，这些故事中，包括了一个孩子在长大的过程中所能遇到的所有问题，实录的生活化和高超的叙述技巧，塑造了弗朗兹这样一个善良、宽容、有正义感却又麻烦不断的经典形象...
（德）阿尔森·波里布尼著2013 年出版187 页ISBN：9787515505862
抽象绘画被公正地称为“20世纪典型的艺术形式”，可是却没有人断言它属于普及的艺术形式。对于广大群众来说，它仍然像是喜玛拉雅山——离大家太远、太高，难于入门而招致误解。本书是抽象绘画的专著，对抽象绘画理...
（德）迪特马尔·罗特赫尔蒙德（D.Rothermund）著；姚燕等译1999 年出版316 页ISBN：7507411346
1947年8月15日，英国国王宣告印度独立，德里的人们举行了盛大的庆祝活动。十几亿人要求以独立的姿态参与人类文明的生活。那么，独立之路谁来开辟？独立之果谁来享受？是什么动力加速了殖民帝国的崩溃与殖民统治的终...
（德）阿努·斯托纳文；（德）亨里克·威尔森图；詹湛译2015 年出版29 页ISBN：9787532949366
一些羊喜欢装狼嗥吓唬别的羊，但有一天，真的传来“狼”的叫声时，只有夏绿蒂挺身而出去探明究竟……
（德）汉斯耶尔格·哈斯著；黄华丹，姜莎莎译2017 年出版305 页ISBN：9787544769341
本书是一部园艺植物修剪实用图解指南，从植物修剪的植物学基础和技术基础入手，分别阐述了观赏树、果树，以及亚灌木和盆栽植物的正确修剪方式，以使它们保持良好的形态、提高果实产量，植物品种齐全，配以详尽的分步.....
（德）苏珊·夏迪特著；王媛媛译2016 年出版76 页ISBN：9787545910124
最火的绘画形式之一的禅绕画遇到了经典曼陀罗；激发出令人着迷的图案和深思！因为这种绘画模式再次激发创造力，锐化感官，并提供新的方法在平静中找回自我。苏珊·夏迪特在这本书中展示了从最初的曼陀罗到不同文化...
哈斯额尔敦，包满亮主编；斯仁那德米德，马志坤，莫·陶克陶夫，赛音宝音副主编；哈斯额尔敦，包满亮等著；戴庆厦总主编2014 年出版262 页ISBN：9787516142127
本书由以下四章构成：第一章绪论，阐述了研究目的和意义、调查设计。第二章蒙古国及有关地区概况，介绍了蒙古国及其后杭爱省、乌兰巴托市概况。第三章蒙古国蒙古族语言使用现状。以后杭爱省浩同图苏木古尔古勒台...
（德）阿努·斯托纳文；（德）亨里克·威尔森图；詹湛译2015 年出版30 页ISBN：9787532949359
夏绿蒂是一只特立独行的羊，常常不被别的动物理解，但当困难、危险出现时，她的勇敢、自信便显现出来了……
