《土木工程计算手册:测绘、路线设计及公路桥梁(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版，是目前近期新的有关土木工程计算的指导手册，提供了与近期新的规范和标准相一致的3000多种计算方法，可以帮助读者准确地进行复杂的设计与施工计算。
新一波产品浪潮专注于帮助人们改变其行为和日常生活，无论是更多的锻炼(Jawbone Up)、管理财务(Hellowallet)还是组织邮件(Mailbox)。温德尔编著的《行为变化设计(影印版)》这本实用指南将为你展示如何为那些力图采取行动并达成目标的用户设计这些类型的产品。 Stephen wendel是HelloWallet的首席研究员，他将带领你一步步地把行为经济学和心理学应用到产品设计和开发的实际问题中去。你将学习到一种简单的迭代方法来确定目标用户及其行为、构建产品和评估效果。同时你也会了解到如何创建易用的产品来帮助人们作出积极的改变。
本书是关于岩土结构物动力学特性的著作，主要采用室内试验、数值模拟等方法，系统研究了软弱土地基（软土和饱和砂土）上岩土结构物在动荷载（地震荷载、交通荷载）作用下加速度、超孔隙水压力分布及侧向变形和沉降等动力学特性，深入揭示了软弱土地基上岩土结构物的动力响应特征。本书适合岩土工程、地质工程及相关专业的科研人员和专业技术人员使用，也可供高等院校师生参考阅读。
本书的目的是证明，如果考虑广义扩张（它是一类群作用）并定义关于它们的齐次性，那么齐次系统类可以变得一般。结果表明，解的性（在时间的两个方向上）确实是一个系统对某种广义膨胀齐次的充分条件。本书研究了齐性与单调性的关系，证明了如果一个系统对某个V（正函数）是单调的，则存在一个广义扩张，且系统和V都是齐次的。本书的另一个结果是在齐次条件下局部单调性与全局单调性的等价性。本书包括引言、离散时间的均匀性、齐次线性系统、连续时间的均匀性和切换均匀系统。
本书是“信息检索”课程的很好教材，书中对信息检索的概念、原理和算法进行了详细介绍，内容主要包括检索策略、检索实用工具、跨语言信息检索、查询处理、集成结构化及数据和文本、并行信息检索以及分布式信息检索等，并给出了阐述算法的大量实例。 本书有一定的深度和广度，而且所有的内容都用当前的技术阐述，是高等院校计算机及信息管理等相关专业本科生和研究生的理想教材，对信息检索领域的科研和技术人员也是很好的参考书。
本书讲解了几种iOS的攻击手段，以及黑客们常用的工具和技术。内容包括：了解黑客如何通过代码注入来使应用感染恶意软件、阻止攻击者劫持SSL会话和窃取数据流量等。
本书共分八章，主要阐述了变分原理，即自然界静止（相对稳定状态）事物中的一个普遍适应的数学定律，也称最小作用定理，是物理学中的一条基本原理。书中内容包括变分法的表达方式、变分法的一些技巧、勒让德变换。在经典力部分，论述了拉格朗日形式导出哈密顿形式、哈密尔顿运动方程、正则变换方程、运动方程、曲面定义、测地线的法向性质、第二基本形式和点为脐点的紧凑表面。本书由浅入深，逻辑严谨，适合高等院校师生及相关专业研究者和爱好者参考阅读。
《石油精炼工艺手册:萃取脱硫与分离工艺(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:萃取脱硫与分离工艺(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法，并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。
本书共十七章，概述了解析数论中的一些基本结果，发展并扩展了达文波特在论文中提出的一些思想，讨论的主题包括迪利克雷L—级数及其解析延拓和函数方程，包含了有关字符和γ函数的相关支撑的材料。本书还研究了当a和b互质时，存在无穷多个素数全等于已知a模b的迪利克雷定理和等差数列的素数定理，还讨论了如何将这些思想应用于所谓的负佩尔方程的理论之中，具体研究了迪利克雷特征、L—系列、γ函数、黎曼ζ函数、泊松求和公式、西格尔零点和算术级数中素数的迪利克雷定理等内容。
伽利略是第一个把实验引进力学的科学家，他利用实验和数学相结合的方法确定了一些重要的力学定律。本书强调和发展了伽利略力学的基本原理，在系统分析方法论的基础上，全面阐述了多体系统力学的数学形式和工作工具。本质上以一种新的方式来描述一类具有环境体的一般多体系统的约束微分方程的设计问题。本书共七章，内容包括引言、力学的几个宇宙及其基本性质、局部线性变介质的运动学、局部线性变连续介质动力学要素、刚体力学、树形结构多体系统力学及代数螺旋理论的建立等。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。
This book systematically discusses some key technical problems in TBM construction planning of deep buried long tunnels. It not only shares the experience of practical work, but also introduces some new technologies and new achievements, to provide valuable information for readers.The book is divided into 13 chapters, including the layout of adits,TBM lectotype,configuration, assembly and departure, advancing,transportation, ventilation, cooling, drainage, power supply, precast concrete segment, solutions in unfavorable geological tunnel section and construction schedule for TBM construction.This book can be used as a reference for engineers and technicians in the field of underground engineering construction.
本书通过经典的软件设计模式和嵌入式编程的全新模式来帮助你培养许多良好的开发习惯。你会学习到如何为处理器而不是操作系统来搭建系统架构，并且了解到处理硬件问题和制造工艺所需的特殊技术。
杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》，共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第四卷，主要收集了流体力学方面的论文，具体包括金属塑性扩展过程中产生的热量、铝晶体的塑性延伸和断裂、关于“纳维埃效应”的说明等内容。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。
hive是基于Hadoop的一个数据仓库工具，可以将结构化的数据文件映射为一张数据库表，并提供完整的sql查询功能，可以将sql语句转换为MapReduce任务进行运行。本书讲述hive编程知识。
《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法，并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。
本书通过经典的软件设计模式和嵌入式编程的全新模式来帮助你培养许多良好的开发习惯。你会学习到如何为处理器而不是操作系统来搭建系统架构，并且了解到处理硬件问题和制造工艺所需的特殊技术。
新一波产品浪潮专注于帮助人们改变其行为和日常生活，无论是更多的锻炼(Jawbone Up)、管理财务(Hellowallet)还是组织邮件(Mailbox)。温德尔编著的《行为变化设计(影印版)》这本实用指南将为你展示如何为那些力图采取行动并达成目标的用户设计这些类型的产品。 Stephen wendel是HelloWallet的首席研究员，他将带领你一步步地把行为经济学和心理学应用到产品设计和开发的实际问题中去。你将学习到一种简单的迭代方法来确定目标用户及其行为、构建产品和评估效果。同时你也会了解到如何创建易用的产品来帮助人们作出积极的改变。
hive是基于Hadoop的一个数据仓库工具，可以将结构化的数据文件映射为一张数据库表，并提供完整的sql查询功能，可以将sql语句转换为MapReduce任务进行运行。本书讲述hive编程知识。
如果你需要维护大型而且复杂的Hadoop集群的话，《Hadoop操作手册(影印版)》是绝对必需的。随着Hadoop变成数据中心里大规模数据处理的行业标准，操作手册方面的需求急剧增长。萨默尔，cloudera公司的首席方案架构师，在本书中为你展示了产品级Hadoop的运行细节，从规划、安装和配置系统到提供可持续的维护管理。 《Hadoop操作手册(影印版)》这本操作指南并没有列举每种可能的场景，它更注重实效，描述了在重要部署中的各项步骤。 本书内容： HDFS和MapRedLice概览：它们存在的原因和原理； 从硬件和OS选择到网络需求来规划Hadoop部署； 根据重要属性列表来学习搭建和配置细节； 通过在多个组中共享集群来管理资源； 获取最常见的集群维护任务运行手册； 监控Hadoop集群——以及学习基于实际例子的故障检测； 使用基础工具和技术来处理备份和灾难性故障。
Software， as an important carrier of information technology， has penetrated all aspects of political， economic， military， cultural， and social lives. However，with the increasing scale of software， software development， integration， and continuous evolution have become increasingly complex. Software defects caused by complexity frequently result in various accidents and even serious disasters.Consequently， research into trustworthy software has become an urgent need for national economic development. In 2007， the National Natural Science Foundation of China （NSFC） began implementing the major research plan "The Fundamental Research for Trustworthy Software" (hereinafter referred to as the Plan） in response to the requirements of fundamental research on trustworthy software. It is one of the major research plans launched during the 11th Five-Year Plan (2006-2010）， led by the Department of Information Sciences and organized and implemented in collaboration with the Department of
是时候创建属于你自己的用于机器学习的自然语言训练语料库 了。无论你使用英语、汉语或者其他任何意种自然语言，本书都 可以手把手地指导你义种经验证的标注开发周期一一把元语添加 到你的训练语料库中来帮助机器学习算法更有效工作的过程。你 无需任何编程或者语言学方面的经验就可以上手。 通过每ー步中的详细示例，你将学到"标注开发过程"是如何帮 助你建模、标注、训练、测试、评估和修正你的训练语料库。你 也将了解到一个实际标注项目的完整演示。 在收集你的数据集（语料库）之前定义一个清晰的标注目 学习用子分析你的语料库中语言内容的工具 搭建用于你的标注项目的模型和规范 检査从基本的XML到语言标记框架这样ー些不同的标注格 创建适合于训练和测试机器学习算法的黃金标准语料库 选择用来处理你的标注数据的机器学习算法 评
