高阶逻辑辅助证明系统

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

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

WTO世界贸易制度和世界贸易法

（德）彼得-托比亚斯·施托尔（Peter-Tobias Stoll），（德）弗兰克·朔尔科普夫（Frank Schorkopf）著；丁勇等译2004 年出版332 页ISBN：7503646756

本书对WTO法进行了最新介绍，涉及WTO法的各类难点、疑点问题。

德国继承法 第6版

（德）雷纳·弗兰克，（德）托比亚斯·海尔姆斯著；王葆莳，林佳业译2015 年出版313 页ISBN：9787562058748

本书以法科学生读者的关切为导向，着重论述与国家考试相关的问题，如共同遗嘱、继承证书、遗赠等；同时省略一些边缘性的、法科学生无需掌握的特殊问题。本书附录中的若干案例解析均选自德国国家司法考试，其中特别...

水下摄影

（德）托比亚斯·弗里德里希著；冯严译2016 年出版216 页ISBN：9787517905080

水下摄影是一种令人着迷的追求，摄影师渴望着记录海洋之中的魔幻世界并将其展示于世人面前。本书中，资深水下摄影师托比亚斯·弗里德里希(Tobias Friedrich)教会了我们如何创作绝妙的水下影像，包含了所需设备的...

小动物心脏病学

（德）托比亚斯，（德）斯克罗茨基，（德）施瑞德编著；徐安辉译2015 年出版243 页ISBN：9787109184060

本书是我国首次引进针对小动物心脏病专题的专著。该书原版是德国柏林大学兽医学院的教授集体完成的，是国外的经典学科专著。本书主要内容包括两部分，第一部分是心脏检查，包括兽医诊所的病患、心血管解剖生理基...

创意教育与动态媒体＝CREATIVE EDUCATION AND DYNAMIC MEDIA

（德）托比亚斯·格雷姆勒著；薛菁译2015 年出版0 页ISBN：

社会民主主义的基础

（德）托比亚斯·贡贝特著；郑春荣，袁亚妮译2019 年出版162 页ISBN：9787208153981

本书初版于2003年在德国出版，经过全面修订之后，本书具有新的结构，新的篇章，但保留了被证明有效的内容编排框架。作为一本哲学著作，本书深入浅出地介绍了社会民主主义的基础，包括理论与实践，并主要阐明这样一个......

长青藤·小小幻想家书系 世界尽头在哪里

（德）托比亚斯·奥弗姆库克文；（德）妮可·奥弗姆库克图；乔振兴译2015 年出版35 页ISBN：7541467189

这是一本面向5至8岁孩子的故事书。作者提出了一个属于孩子的问题：“世界的尽头在哪里？”书中每个人都给出了不同的答案，对小读者来说，这是一趟地理和哲学的启蒙之旅。马科斯和他的小猫加托斯很要好，每当马科斯有...

长青藤·小小幻想家书系 谁偷了红树莓

（德）托比亚斯·奥弗姆库克文；（德）妮可·奥弗姆库克图；姚丽译2015 年出版35 页ISBN：7541467235

这是一本面向5至8岁孩子的故事书。作者通过富有想象力的风趣语言，为小读者们描绘了一个充满温情和哲理的故事。故事在史蒂夫先生和他的四只宠物猫之间展开。史蒂夫先生钟爱红色，他的猫都是红色的，他最爱的红树...

把问题摆在桌面上 我怎样在世界500强公司当总裁

（美）兰迪·托比亚斯（Randall Tobias），（美）托德·托比亚斯（Todd Tobias）著；刘斌译2004 年出版209 页ISBN：7040159058

兰迪·托比亚斯先后担任AT&T和礼来制药的副总裁和总裁，是全球少数几位在两大世界500强公司都取得巨大成功的首席执行官之一，与GE的杰克·韦尔奇、IBM的路·郭士纳等人一并被称为“20世纪90年代最伟大的CEO”...