（德）温道尔（Windauer 相关电子书下载

（德）温开尔（R.Winkel）著；王寿宝译1940 年出版116 页ISBN：

（德）杰瑞·科顿（Jerry Cotton）著；温桂华，芥弥译2005 年出版327 页ISBN：750143462X

本书为德国现代侦探小说。

温鸿源，高尚德编绘1989 年出版194 页ISBN：8199·1361

（德）道尔（A.Dorl）撰；王国章译1951 年出版111 页ISBN：

（德）格雷贝道尔夫（Granehdorff，W.）著；齐楚译1985 年出版188 页ISBN：3225·025

（德）C.劳温代尔（Chris Rauwendaal）著；陈文瑛等译1996 年出版425 页ISBN：750191866X

（德）博尔温·班德洛著2008 年出版202 页ISBN：7108029138

本书从医学的角度讲述名人存在的人格障碍。

（德）托马斯·魏根特（Thomas Weigend）著；岳礼玲，温小洁译2004 年出版277 页ISBN：7562024545

本书是《德国刑事诉讼程序法》的译著。

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

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

（德）温德兰（O.Wundram）撰；王世丰译1951 年出版88 页ISBN：