当前位置:首页 > (美)苏珊·哈根·尼普编著相关PDF电子书下载
-
-
-
掌控力让所有人对你讲真话
(美)菲利普·休斯顿,(美)迈克尔·弗洛伊德,(美)苏珊·卡尼瑟洛著2017 年出版267 页ISBN:9787539997681怎么跟别人说话,让别人告诉你你想要知道的一切。这是一个很有意思且很能受到青睐的话题。针对这一点,作者将自己在反侦察工作中的冒险经历讲成了奇闻轶事,集知识性和趣味性于一体,巧妙地提炼出适用于日常生活的...
-
-
-
-
高阶逻辑辅助证明系统
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
-
心脏CT一点通 心血管多层螺旋CT入门
(美)保罗·修恩哈根著2017 年出版339 页ISBN:7117247010第一部分:多层螺旋CT(MDCT)应用基础。1.心血管MDCT影像的介绍;2.正常心血管解剖CT影像;3.多层螺旋CT的技术方面第二部分:临床心血管应用;4.心腔及心肌疾病;5.心包疾病;6.瓣膜心脏病;7.CT引导下导管介入;8.冠状动脉和.....