(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
(美)汤姆·克兰西(Tom Clancy)著;管舒宁,陈瑛,卢秋平译2005 年出版326 页ISBN:7532737098
汤姆克兰西被称为“恐怖预言大师”,在《虎牙》中,克兰西为美国人呈现出了未来反恐作战的蓝图。作者用大量的时政分析和对谍报细节的描写推动着惊险、刺激的情节。...
宝宝上幼儿园准备绘本 让孩子学会交朋友、讲卫生、懂分享、做自己 神奇的绿雨伞
(美)杰基·阿苏阿·克莱默著;(美)马拉尔·萨索尼绘2018 年出版28 页ISBN:7515349506
《宝宝上幼儿园准备绘本》一共包含5册,这5册绘本主题分明,从交朋友、讲卫生、守规则、懂分享、兴趣培养等方面,全方位为孩子做好入园的社交、心理、习惯培养的准备,从而帮助孩子克服入园焦虑情绪,快速适应幼儿园...
(澳)戴维·玛尔(David Marr)著;陈弘译2000 年出版379 页ISBN:7805317143
《无边的曼荼罗——怀特传》的作者戴维·玛尔与怀特过从甚密,怀持生前曾同他就作传之事有过深谈。怀特故去后,玛尔多方收集信函和其他资料,采访怀特的亲朋好友,并在此基础上写成了这部《无边的曼荼罗——怀特传...
(德)汉斯·约尔格·奥斯坦,(瑞士)奥特玛尔·坦兹,(奥)赛尔曼·尤安纽斯著2015 年出版450 页ISBN:9787543335301
意外伤害包括老人发生意外、运动伤害,以及因交通事故创伤引起的伤害等,所造成的严重后果使得人们对它越来越重视。虽然技术的进步使得患者预后越来越好,但是手术创伤体系目前还尚未完全建立。本书重点讲述骨与...
百年前的中国 19世纪大英皇家建筑师Thomas Allom笔下的中国画卷
(英)托马斯·阿罗姆著;宗端华,黄曦译2016 年出版232 页ISBN:9787515344041
《百年前的中国》(The Chinese empire illustrated)含图167幅,由赖特牧师撰写图片说明,并对中国历史作了简明介绍。这本书一经问世,很快成为英国乃至欧洲最有名的插图本中国历史教科书,是西方人了解中国的最重要...
(美)克兰多著2013 年出版229 页ISBN:9787300178486
本书详细分析了价值投资法,包括价值投资策略及选股,基本面分析方法等。帮助读者实际应用投资大师本杰明·格雷厄姆和沃伦·巴菲特的价值投资法。...