（苏）泽尔道维奇著相关电子书下载

（美）L.米罗维奇著；陈幼明沈守正译1987 年出版519 页ISBN：7118002151

（美）卡森·麦卡勒斯著；文泽尔译2018 年出版480 页ISBN：9787567573970

《心是孤独的猎手》是作者麦卡勒斯的第一部长篇小说，也是她一举成名的作品和最具震撼力的代表作。书中讲述了一个关于孤独的故事。美国南方小镇，漫长沉闷的八月。一个总是温和微笑的哑巴，午夜的咖啡馆里喝着冰...

（美）唐纳德·皮泽尔著2009 年出版226 页ISBN：9787307072619

本书全面介绍和评述美国现实主义和自然主义文学流派。

（美）小阿瑟·M.史勒辛格主编；（美）哈尔·马科维奇著；林璐译2005 年出版81 页ISBN：7801960343

本书向青少年介绍美国第2任总统约翰·亚当斯。

（美）迈克·米夏洛维奇（MIKE MICHALOWICZ）著；南溪译2013 年出版182 页ISBN：

（俄）亚历山大·谢尔盖耶维奇·普希金（A·C·Лущкин）著；云卿译1997 年出版386 页ISBN：7801311108

（波）亨利克·显克维奇著；张振辉编选1997 年出版766 页ISBN：7532913589

（英）伊斯雷尔·贝科维奇（I.Berkovitch）著；上海市政协编译工作委员会译1983 年出版271 页ISBN：4188·34

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

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

张道一等著（苏州大学艺术学院）1999 年出版355 页ISBN：7530313487

本书配合新实验教材，综合现教育改革对学生新的素质要求。