赫尔曼·泽尔舍校订相关电子书下载

周作人著；止庵校订2011 年出版246 页ISBN：9787530210970

《苦竹杂记》为我国著名散文家周作人先生的散文集。其中包括：冬天的蝇、谈金圣叹、醉余随笔、如梦录、拜环堂尺牍等作品。

（明）计成原著陈植注释杨伯超校订陈从周校阅1988 年出版272 页ISBN：

张一凡主编；张肖梅校订2222 年出版68 页ISBN：

介绍小麦的种类、品质、国内产区及市场交易，面粉业现状，制作和销售等。

臧励和，谢寿昌，方賓观，张堃等编辑；陆尔奎，方毅校订1935 年出版1518 页ISBN：

BLACK AND CONANT原著；蒋伯苍译；龚昂云校订1947 年出版308 页ISBN：

程瞻庐著；郭群一校订；李金琳，郭曼曼校点1998 年出版976 页ISBN：7806281460

倪贻德标点；支伟成校订；沈松泉，俞培笙校对1925 年出版374 页ISBN：

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

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

商务印书馆编译所编；陈承泽校订1919 年出版138 页ISBN：

讲述诉讼基本知识。结合当时施行的法规，介绍民、刑诉讼的区别，以及审级、管辖、上诉等程序。指导诉讼人参……

陈健夫编；任卓宣，李宗黄，汪祖华，林桂圃，张铣，陈澄之，黄季陆，臧启芳，刘修如，穆超，萧赞育校订1980 年出版722 页ISBN：