(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
(美)林达·M.阿普尔盖特(Lynda M. Applegate)等著;阎达五,李勇等译2004 年出版518 页ISBN:7111131711
本书从公司管理的角度探讨了在信息社会,企业该如何转变思维模式和行为模式,优化企业管理,以最大限度的获取信息技术为企业带来的竞争优势。...
(美)尤里·B.切尔尼亚克(Yuri B.Chernyak),(美)罗伯特·M.罗斯(Robert M.Rose)著;苗锋译1999 年出版376 页ISBN:7500104936
(美)阿迪特亚·马图(Aaditya Mattoo),(美)罗伯特·M.斯特恩(Robert M. Stern),(美)贾尼斯·赞尼尼(Gianni Zanini)主编2012 年出版495 页ISBN:9787543221628
《国际服务贸易手册》全面地介绍了服务贸易提供领域涉及的各个方面内容。在第一部分“服务贸易框架”中,对服务贸易关键问题做了简要的概述,解释了服务贸易的基本结构,介绍了目前为止的多哈服务贸易谈判的阶段...
(美)达洛尔·M.韦斯特著2010 年出版167 页ISBN:9787301165164
本书对美国媒介的报道倾向的变迁以及与社会发展的关系做了细致的分析,对于了解美国媒介的运作机制有一定参考价值。
(美)杰文斯(Jevons,M.)著;王红夏等译2006 年出版200 页ISBN:7111186664
本书是一本悬疑小说。书中以经济学原理为推理依据,将晦涩的经济学原理通过通俗易懂的事例解释清楚,深入浅出,角度新颖。对经济学感兴趣的读者、经济学专业本科生来说,是一种学习经济原理更容易的方法。...
传播学史 一种传记式的方法 a biographical approach
(美)E. M. 罗杰斯(Everett M. Rogers)著;殷晓蓉译2005 年出版498 页ISBN:7532737063
本书循着传播学发展的现实轨道和思想脉络,追溯了构成人类传播学的整整一个世纪的事件,并在此基础上翔实而又准确地论述了一门新兴学科的产生与发展的过程。...