(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
(美)本杰明·格雷厄姆(BenjaminGrahan),(美)戴维·多德(DavidL.Dodd)著2013 年出版931 页ISBN:9787300175195
本书是一部投资经典巨着,建议分入F类。书中第一次阐述了寻找“物美价廉”的股票和债券的方法,这些方法在格雷厄姆去世后20年依然适用。本书在长达70年的时间里共发行了5版,计有百万册,充当了无数美国最杰出投资...
(美)姚繁盛(Yao,F),(美)小阿图西奥(Artusio,J.F.Jr.)著;李晓岩等译1989 年出版396 页ISBN:7805132216
书名原文:Anesthesiology:problem-orientedpatientmanagement:本书按人体器官作统编为八篇
(美)Edward G.Brierty,Robert W.Eckles,Robert R.Reeder著;李雪峰,时宝东等译2000 年出版629 页ISBN:730200711X
(美)佛瑞德立克·韦斯特(Frederick E.Webster,Jr)著;洪瑞彬译2003 年出版307 页ISBN:7810365347
本书整合了所有企业策略、结构和文化的各层面,包括研发、制造,到理财、人才资源和销售,融入行销概念中。
证券分析 上(原书第6版)=SECURITY SIXTH EDITION ANALYSIS
(美)本杰明·格雷厄姆(BENJAMIN GRAHAM),戴维·多德(DAVID L.DODD)著;巴曙松,陈剑等译2013 年出版466 页ISBN:
(美)小瑞芒德·麦克劳德(Raymond McLeod,Jr.),(美)乔治·谢尔(George Schell)著;张成洪等译2002 年出版418 页ISBN:7505376497
(美)小霍雷肖·阿尔杰(Horatio Alger,Jr.)著;刘荣跃,谢文伦译2003 年出版375 页ISBN:756333906X
少年小贩保罗,ISBN:9787563339068,作者:(美)小霍雷肖·阿尔杰(Horatio Alger,Jr.)著;刘荣跃,谢文伦译