THOMAS CLARKE KRAVIS CARMEN GERMAINE WARNER LENWORTH M.JACOBS 相关电子书下载

（美）埃德蒙·M.克拉克（EDMUNDM.m>CLARKEm>，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

（英）MAEVE m>CLARKEm>著2006 年出版30 页ISBN：7560055486

本书讲的是神奇的时空扭转，让一个美国小子转瞬跑到了中世纪的英国。凭借现代科技的力量，他改变了亚瑟王的传奇世界！英汉双语，适合小学高年级及初一学生阅读。...

（美）m>Thomasm> M.m>Thomasm>等著；王建华等译2001 年出版502 页ISBN：7111087518

本书讲述了Cisco网络故障诊断的基本方法、工具和命令，介绍了局域网和广域网环境中的各种网络诊断技术。

（英）（M. 沃纳）Malcolm m>Warnerm>主编2003 年出版7160 页ISBN：7302061939

（英）（M. 沃纳）Malcolm m>Warnerm>主编2003 年出版6885 页ISBN：7302061939

（英）（M. 沃纳）Malcolm m>Warnerm>主编2003 年出版5872 页ISBN：7302061939

（英）（M. 沃纳）Malcolm m>Warnerm>主编2003 年出版1819 页ISBN：7302061939

E.G.C.m>CLARKEm>1975 年出版1258 页ISBN：0853690952

（美）R.J.m>Clarkem>，（美）J.Bakker著2013 年出版279 页ISBN：9787501991600

本书在介绍了葡萄工艺学、及栽培学方面的基本知识基础上，全面、系统地阐述了葡萄酒风味化学的知识；进一步对葡萄酒品评与风味之间的关系进行了概述；最后论述了风味物质在葡萄酒酿造中的形成途径和影响规律。同...

（爱尔兰）克拉克（m>Clarkem>，S.）等著2006 年出版366 页ISBN：7111179757

本书是面向方面的软件开发设计与实现。