(德)托比亚斯·尼普科夫(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
本书照片由三个部分组成:我眼中的中国和上海、上海的犹太人生活、犹太移民印记。分别讲述了我镜头中的上海和其他城市的印象;目前来上海生活的犹太人的宗教、节日、娱乐等日常生活的方方面面;历史上犹太人移居...