托比·迈德斯著相关电子书下载

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

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

（德）迈　耶（Meyer，R.）著；陈正衡译1988 年出版487 页ISBN：7502001085

（瑞典）安德斯·汉森（Anders Hansen）著2019 年出版219 页ISBN：9787505747166

（美）阿贝尔·罗德里格斯（AbelRodriguez），（美）布鲁诺·门德斯（BrunoMendes）著2019 年出版192 页ISBN：7302530725

（英）奥尔德斯·伦纳德·赫胥黎著2019 年出版287 页ISBN：9787540490829

（法）德拉日，（俄）果尔德斯密斯著；危淑元译1935 年出版380 页ISBN：

（英）兰达（ Landa，N.）著；（英）门德斯（Mendez，S.）绘；金波译2006 年出版28 页ISBN：756006132X

劳伦斯·山德斯（Lawrence Sanders）著；海狸译2006 年出版460 页ISBN：7807035889

本书描写了丹尼尔·布兰克是怎样成为杀手的。

鲍茄德斯著；徐卓英，顾润卿译1937 年出版404 页ISBN：

鲍茄德斯著；徐卓英，顾润卿译1937 年出版778 页ISBN：