(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
(美)玛丽·威尔金斯·弗里曼(Mary Wilkins Freeman)著;汪飞舟译2002 年出版402 页ISBN:7806473734
《穷小子杰罗姆》,农村穷孩杰罗姆12岁在父亲“自杀”后即承担起家庭的重负。他聪明勤奋,顽强拼搏,与剥削者斗争,赢得村上一位善良人的帮助和他女儿露西娜的至纯初恋。...
(美)艾琳·克莱格(Eileen M. Clegg),(美)苏珊·斯沃茨(Susan Swartz)著;刘洋等译2004 年出版237 页ISBN:7536041314
本书是当代美国作家有关青少年教育的著作,叙说一种非传统的好女孩,她们是用新模式取代旧规矩、有头脑的新女性。这些人都能取得成功,找回自我。...
(意)达·芬奇(Da Vinci)著;张谦译2006 年出版191 页ISBN:754043371X
本书为达·芬奇的散文著作,记述其作人行艺的经历、思想,表达其对人生和艺术的看法。
(意)列奥纳多·达·芬奇,(美)H·安娜·苏著;刘勇译2018 年出版321 页ISBN:9787535794079
这部众人期待的笔记汇集了达芬奇笔记中精彩的内容,包括大画家的一千多幅原始素描和精致的线条画,揭示了他的洞察力。并对此进行了详尽描述。艺术作品经过精心编排,同时加强和彰显了作者的原始文字。所有这一切...
(美)钱纳里(Chenery,H.),(以)塞尔昆(Syrquin,M.)著;李新华等译1988 年出版254 页ISBN:7505801260