（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（英）特雷沃·巴克森代尔著；吕灵芝译2019 年出版287 页ISBN：9787513334860
神秘博士系列科幻小说。“希望你们都做好了大吃一惊的准备！”多年之前，费罗人曾利用时空之路在星系间穿梭。现在，他们早已化作百万年前的残响，只留下零星遗物。可是，费罗人到底经历了什么？在遥远的未来，人类终......
（苏）柯斯秋科夫（В.А.Костюков），（苏）高恩契列恩科冈察连科（К.С.Гончаренко）著；江禄炯，蔡盛龙译1956 年出版49 页ISBN：15119·416
（苏）诺瓦科夫斯基（С.В.Новаковский），（苏）萨莫依洛夫（Г.П.Самойлов）著；朱庆璋，梅国修译1957 年出版334 页ISBN：15045·总637无147
（美）弗拉迪米尔·纳博科夫（Vladimir Nabokov）著；于晓丹译2000 年出版326 页ISBN：7806570217
本书是俄裔美国作家纳博科夫的代表作。 一位对初恋情人恋恋不舍的知识分子，成年后依旧钟情于年幼的少女，视她们为纯洁的小仙女。他在认识了十二岁的少女洛丽塔后为之倾倒，不惜取得洛丽塔继父的身份以和她共处...
（苏）杰夏特科夫（М.И.Десятков），（苏）谢敏（И.Д.Семин）著；孔希，刘植惠译1954 年出版128 页ISBN：
（美）伊基巴辛著；徐浩译2012 年出版265 页ISBN：9787544261869
本书是关于证券市场中如何进行日间交易的财政、金融类图书。本书通过分享12位当日交易者在交易生涯中所深刻感悟到的宝贵经验，以及操作心得，甚至是从失败中吸取的经验，来讲述股市投资策略。...
迪文·巴加尔著；王晓霖译2013 年出版155 页ISBN：9787545208559
本书照片由三个部分组成：我眼中的中国和上海、上海的犹太人生活、犹太移民印记。分别讲述了我镜头中的上海和其他城市的印象；目前来上海生活的犹太人的宗教、节日、娱乐等日常生活的方方面面；历史上犹太人移居...
