A century of constitutional reform
edited by
行销管理 Analysis， Planning and control
（美）菲利普·艾文斯（
本书作者解释了“信息经济与实物经济”、“信息的丰富性与受众量”等许多新的概念，还剖析了传统产业与网络经济的碰撞与结合。揭示了连接的增加和通用标准的采用是如何重新定义连结企业与顾客、供应商及雇员...
（美）
本书对计算机图形学和其他领域的二维和三维几何学算法进行了全面的解析和合理的组织。全书先复习了向量和矩阵代数的基本概念，而后详细地描述了图形几何学涉及的各种二维和三维对象的几何测量、相交等问题的...
（西）费拉罗（Ferraro，R.），（土）阿克蒂哈诺格卢（Aktihanoglu，M.）著；李丽译2012 年出版249 页ISBN：9787115295347
本书教给你如何在一系列移动开发平台上开发位置感知应用，内容涉及：理解LBS是横向的，详细介绍了Java、iPhone和Android平台的相关实例，概览了当前的工具和技术，帮助开发人员成为成功的移动企业家的技巧，有效管理动...
杜普伊斯（Adrian M. Dupuis），高尔顿（Robin L. Gordon）著；朱承，彭正梅译2006 年出版249 页ISBN：7303082026
本书线索明晰，是研究西方教育哲学的最佳的简明读物。翻译流畅，基本上达到了信、达、雅的境界，堪称一部上好的教育哲学译著。
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（英）（M.沃姆斯利）Mark Walmsley著；冯博琴等译1999 年出版215 页ISBN：704007351X
