二战忠犬录

（美）罗伯特·温特劳布著；王一凡译2018 年出版359 页ISBN：9787521303506

《二战忠犬录》的内容是，出生在中国上海的指示犬朱迪年幼时被英国炮舰上的士兵收养。第二次世界大战中，它与雷达兵弗兰克被日军俘虏，一同被关进苏门答腊岛上的战俘营。恶劣的环境中，死亡的威胁无处不在。朱迪以...

写意山水画技法与赏析

温巍山著2009 年出版44 页ISBN：9787564116224

本书主要讲解素描静物画的作画方法及艺术特色、赏析方法。本书知识点突出，文字简洁，范画均为原创，对提高大学生审美能力和艺术素质有一定帮助。本书具有技新性，应用性，原创性，普及性，欣赏性特点，可作高校动漫......

口袋狗去度假

（澳）玛格瑞特·温尔德著；（澳）史蒂文·迈克尔·金绘；邓骞译2012 年出版30 页ISBN：9787530753682

本童话用生动的语言讲述口袋狗比夫、巴夫和普科斯先生一起去度假的故事：两只小狗，比夫和巴夫，喜欢待在普科斯先生外套的口袋里。可他们到海边度假时，那件心爱的外套被海浪冲走了，在寻找外套的过程中，他们经历了.....

景观建筑师实务指南

（英）尼古拉· 加莫里（Nicola Garmory），（英）拉塞尔·特纳（Rachel Tennant），（英）克莱尔·温斯克（Clare Winsch）著；郑冰译2005 年出版176 页ISBN：7112071321

本书内容包括成功的专业景观企业中的基本原则，为各水平层次的建筑师提供重要指导，同时也为日常专业景观事物提供参考。该书内容主要包括该领域企业的构成及专业规范、责任及法律概述、建筑及环境法规、承包管...

高阶逻辑辅助证明系统

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

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

古琴奇缘之霜华引 上

温暮生著2016 年出版243 页ISBN：7555232030

瑾国皇子璇璞遭继母陷害后流落民间，意外结识奇术传人夙莨，蛇妖黑崎，御音师谷梁轩，虫妖蜉漓，为寻找其消失多年的琴艺师父公孙锦，展开一段充满奇遇的旅程，冒险途中，众人身上的谜团被一个一个解开，在爱情宿命，......

古琴奇缘之霜华引 下

温暮生著2016 年出版474 页ISBN：7555232030

瑾国皇子璇璞遭继母陷害后流落民间，意外结识奇术传人夙莨，蛇妖黑崎，御音师谷梁轩，虫妖蜉漓，为寻找其消失多年的琴艺师父公孙锦，展开一段充满奇遇的旅程，冒险途中，众人身上的谜团被一个一个解开，在爱情宿命，......

我国未成年人刑事案件诉讼程序研究

温小洁著2003 年出版261 页ISBN：7810875078

本书是一部专门论述未成年人刑事案件诉讼程序的专著。从构建我国未成年人刑事诉讼程序入手，比较系统地探讨了这一特殊诉讼程序的理论基础、程序模式、指导原则、基本制度以及具体的程序。...

麦田绘本馆 我不叫伊莎贝拉

（美）詹尼弗·福斯伯里著；任谊鑫译；（美）迈克·利特温绘2012 年出版30 页ISBN：9787530549810

本书面向3-5岁儿童，是“我不叫亚历山大”的姊妹篇，以小女孩伊莎贝拉为主角，通过妈妈和小女孩的对话，展现了一个女孩子内心深处的“梦想”，和他所拥有的“无限渴望”。...

防止海上事故 INCSEA概念的历史

（美）大卫·F.温科勒（DavidF.Winkler）著；邢广梅等译2015 年出版284 页ISBN：9787515707976

该书为美国海军学会出版社于2000年出版的《海上冷战：美国和苏联的公海冲突》一书的再版。主要内容为1972年5月美苏两国签订的《美苏防止海上事件协定》的成功以及它成为21世纪信任建立措施的典范的发展历史...