(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
(英)MAEVE CLARKE著2006 年出版30 页ISBN:7560055486
本书讲的是神奇的时空扭转,让一个美国小子转瞬跑到了中世纪的英国。凭借现代科技的力量,他改变了亚瑟王的传奇世界!英汉双语,适合小学高年级及初一学生阅读。...
(美)安迪·鲁尼(Andy Rooney)著;赵际南译2005 年出版292 页ISBN:7533861345
本书以杂文集的形式,搜集了安迪·路尼的154篇短文。这些短文在书中分为14大类,以一个话题一篇短文的主题,几乎覆盖了美国生活的各个方面,作者身为新闻工作者的敏感性、身为电视评论家的表现力,以及身为文化工作...
ISOLATION AND IDENTIFICATION OF DRUGS VOLUME 2
E.G.C.CLARKE1975 年出版1258 页ISBN:0853690952
(美)斯科特·弗兰克(Scott Frank),(美)安迪·赫勒(Andy Heller)著;肖静译2006 年出版155 页ISBN:7111190769
本书介绍房地产投资的模式。
(英)安迪·斯坦斯菲尔德(Andy Stansfield)著2012 年出版196 页ISBN:9787551401555
本书专门讲解曝光技术。本书从曝光概念的解析开始,介绍了曝光模式,以及光线的性质和测光模式,并从光圈、快门速度、ISO着手,教你轻松掌握曝光的技巧。此外,本书还专辟一章介绍动态范围,讲解区域曝光等高级曝光技....
(美)R.J.Clarke,(美)J.Bakker著2013 年出版279 页ISBN:9787501991600
本书在介绍了葡萄工艺学、及栽培学方面的基本知识基础上,全面、系统地阐述了葡萄酒风味化学的知识;进一步对葡萄酒品评与风味之间的关系进行了概述;最后论述了风味物质在葡萄酒酿造中的形成途径和影响规律。同...
马述春,(希腊)(A.马什)Andy Marsh编著1999 年出版254 页ISBN:750672006X
本书介绍了Internet/Web的主要功能和基本概念,如何在Internet上查找医学类信息、如何评价找到的信息内容,并用具体范例描述了Internet/Web技术在医学信息交流、继续医学教育、医疗机构内部信息网络构建等方面...
(美)安迪·基尔帕特里克(Andy Kilpatrick)著;何玉柱等译2003 年出版450 页ISBN:7801125797
本书是股神巴菲特的真实故事的精选本。
(爱尔兰)克拉克(Clarke,S.)等著2006 年出版366 页ISBN:7111179757
本书是面向方面的软件开发设计与实现。