全长黏结锚索支护是煤矿和金属矿支护中的一种常见方式。由于锚索具有承载力大、可靠性高等优点，在矿山有着广泛的应用。但全长黏结锚索支护仍然存在失效的问题，常见的失效方式包括锚索与锚固剂接触面的粘结失效等。为了揭示全长黏结锚索支护的力学传递机理，预防锚索支护发生失效，本专著提出采用物理试验、理论分析和数值计算相结合的方法，研究全长黏结锚索在轴向加载条件下的力学传递性能及失效方式，从而为揭示锚索支护的力学传递原理提供了理论依据。

第1版中介绍的C语言成为后来广泛使用的C语言版本——标准C的基础。人们熟知的“hello,World”程序就是由《C程序设计语言(英文版)(第2版)》首次引入的。现在，这一程序已经成为众多程序设计语言入门的课。第2版根据1987年制定的ANSIC标准做了适当的修订，引入了近期新的语言形式，并增加了新的示例。通过简洁的描述、典型的示例，作者全面、系统、准确地讲述了C语言的各个特性以及程序设计的基本方法。对于计算机从业人员来说，《C程序设计语言》(英文版)(第2版)是一本 的程序设计语言方面的参考书。

奇异性理论将代数几何、解析几何和微分分析联系在一起。比较易处理或者较自然的奇点为孤立完全交奇点。在过去几十年里。在理解奇点理论以及它们的变形方面有了很多研究与进展。《完全交上的孤立奇点》的第一版是作者路易安嘎在耶鲁大学关于奇点课程以及在荷兰莱顿、奈梅亨和乌得勒支三地两年的讨论班讲义的基础上写成的。本书简化了某些证明，加强了某些结论，对一些材料进行重整，并补充了小部分内容。本书的目的是提供给读者复空间奇点尤其是完全交上的奇点的介绍。本书所需的预备知识为代数几何、解析几何、代数拓扑一些知识、另外还需了解Stein空间的一些结论。本书可供代数几何、复解析几何和微分分析方面的研究生和相关研究人员参考。E.J.N.LOOIJENGA，荷兰乌得勒支大学教授，荷兰皇家艺术与科学院院士。曾在1978年的国际数学家大会和1992

奇异性理论将代数几何、解析几何和微分分析联系在一起。比较易处理或者较自然的奇点为孤立完全交奇点。在过去几十年里。在理解奇点理论以及它们的变形方面有了很多研究与进展。《完全交上的孤立奇点》的第一版是作者路易安嘎在耶鲁大学关于奇点课程以及在荷兰莱顿、奈梅亨和乌得勒支三地两年的讨论班讲义的基础上写成的。本书简化了某些证明，加强了某些结论，对一些材料进行重整，并补充了小部分内容。本书的目的是提供给读者复空间奇点尤其是完全交上的奇点的介绍。本书所需的预备知识为代数几何、解析几何、代数拓扑一些知识、另外还需了解Stein空间的一些结论。本书可供代数几何、复解析几何和微分分析方面的研究生和相关研究人员参考。E.J.N.LOOIJENGA，荷兰乌得勒支大学教授，荷兰皇家艺术与科学院院士。曾在1978年的国际数学家大会和1992

本书研究事件驱动和量化测量下的系统辨识，属于控制理论、通信科学和计算机科学等多领域的前沿交叉研究。本书共8章。章介绍本书的写作背景和基本情况。第2章对本书用到的基础知识进行介绍。第3章研究基于调度的二值量化测量的系统辨识。第4章在量化输入下研究基于预测量化输出的系统辨识。第5章在Either-or通讯机制下研究量化输入和量化输出下的系统辨识。第6章基于二值量化测量研究一般形式事件驱动器下的系统辨识。第7章研究Wiener系统在二值量化下的事件驱动辨识。第8章讨论Hammerstein系统在量化测量和事件。

本书是入门级的GIS书籍。它的特点在于，不仅主要的基础知识包括传统的GIS，例如数学基础，地理数据模型，矢量和栅格数据分析，作为典型的GIS应用程序，空间统计和网络分析也作为单独的章节提供，但是此外，还可以使用Python进行GIS枚举，与遥感进行GIS集成以及WebGIS，尤其是Cloud包括GIS。本书是为GIS相关专业的本科生以及一些地理空间知识或技能，但想进行相关研究，也适合那些希望对GIS的使用以及对于已经使用GIS的人有一个丰富的开始的了解其他领域的某些技能。

本论文研究的核心是从语言对比分析的角度出发，选择医学领域两个相对狭窄的分支 包虫病治疗和分子克隆技术中的操作章程（亦称操作菜单）为研究对象，通过对该类型文本的写作特点以及语言使用情况的调查和了解，提出预先对原文写作格式、遣词造句的方式进行有效的管理和，特别是对词汇意义、句法结构进行，优选限度地减少因为词的兼类和多义以及句子结构的过于复杂造成的歧义，最终设计和开发出可应用于英汉机器翻译系统的该类章程写作的定向语言(亦称受控语言)。

本书将深入浅出地介绍Intel80X86微处理器的工作原理及接口技术知识，探讨基于80X86微处理器的工程系统设计及应用。针对目前靠前上相关书籍在接口技术方面介绍比较欠缺的问题，本书致力于系统介绍80X86微处理器的工作原理及接口技术应用。本书内容包括9章，内容包括：微处理器介绍、微处理器架构、指令集、汇编语言编程、存储器、中断、IO接口技术、AD和DA转换、总线接口等。

This book provides a greater understanding of KT and IS theories from the following perspectives： Presenting the role of changing national policy contexts in the process of transnational KT and proposing a knowledge-based approach to study KT based on the finding； Proposing a model conceptualising transnational knowledge management and KT processes； Summarising major ISD policy tools utilised by countries such as the UK and China； Providing a deeper understanding of an IS network facilitation approach which has been widely cited as an ISD exemplar. Hopefully， the book can be read by those conducting intemational cooperations and young researchers initiating qualitative research， enlightening their work in their area.

本书用D-膜讨论了拓扑和超弦背景的一些问题，这些问题的解决不仅仅针对单一的问题，主要针对Ⅱ型理论，解决在描述超弦背景的“主角”的拓扑和几何性质时出现的问题。从广义同调和上同调理论以及Atiyah-Hirzebruch谱序列的数学回顾开始，以便在这样的谱序列和Gysin映射之间提供一个明确的联系。

这是一本SUN靠前认证SCWCD(Sun Certified Web Component Developer，Web组件开发人员认证)试题解答及测验指导书，针对SCWCD应试的所有知识点，选取典型试题进行分析、解答，便于有效地提高考生应试成功率。 全书分两个部分，首先给出SCWCD应试的700余个典型试题进行精彩剖析，阐明其考察知识点，以及答题技巧：其次分别列举了两套测试题，以验证应试者的学习成果，以便有效地培养、提高其应试能力。内容全面，知识讲解与试题贯穿、结合，实用、实效。 本书既可作为JSP知识难点学习，亦可配合SCWCD应试指导使用，同时还可以作为学习Java语言和JSPWeb程序组件设计指导教材。 这是一本难得的SCWCD应试演练习题集。

本书研究事件驱动和量化测量下的系统辨识，属于控制理论、通信科学和计算机科学等多领域的前沿交叉研究。本书共8章。章介绍本书的写作背景和基本情况。第2章对本书用到的基础知识进行介绍。第3章研究基于调度的二值量化测量的系统辨识。第4章在量化输入下研究基于预测量化输出的系统辨识。第5章在Either-or通讯机制下研究量化输入和量化输出下的系统辨识。第6章基于二值量化测量研究一般形式事件驱动器下的系统辨识。第7章研究Wiener系统在二值量化下的事件驱动辨识。第8章讨论Hammerstein系统在量化测量和事件。

全长黏结锚索支护是煤矿和金属矿支护中的一种常见方式。由于锚索具有承载力大、可靠性高等优点，在矿山有着广泛的应用。但全长黏结锚索支护仍然存在失效的问题，常见的失效方式包括锚索与锚固剂接触面的粘结失效等。为了揭示全长黏结锚索支护的力学传递机理，预防锚索支护发生失效，本专著提出采用物理试验、理论分析和数值计算相结合的方法，研究全长黏结锚索在轴向加载条件下的力学传递性能及失效方式，从而为揭示锚索支护的力学传递原理提供了理论依据。

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

《静电加速器：一个多功能工具（英文）》是一部应用物理学的英文专著，中文书名可译为《静电加速器：一个多功能工具》。 作者有两位，一位为朗纳·海尔伯格，瑞典隆德大学物理系应用物理学的名誉全职教授，他在应用物理学领域使用静电加速器工作了50多年，另一位是哈里·J.惠特洛，美国物理学家。他是美国拉斐特路易斯安那大学物理学教授兼路易斯安那加速器中心主任。 《静电加速器：一个多功能工具（英文）》的目标是收集静电加速器领域的基础科学信息和技术信息，使其成为加速器工程师以及从事静电加速器研究的学生和研究人员的指南、参考手册和教科书。

杰弗里·英格拉姆·泰勒爵士是流体动力学和波动理论的物理学家、数学家和专家。他被认为是20世纪伟大的物理科学家之一。1958年至1971年共出版了四卷《杰弗里·英格拉姆·泰勒科学论文集》，共收集了近200篇杰弗里·英格拉姆·泰勒爵士的论文。本书为第二卷，主要收集了气象学、海洋学等方面的论文。本书适合高等院校数学和力学领域的研究者和研究人员及兴趣爱好者参考阅读。

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

本书共十七章，概述了解析数论中的一些基本结果，发展并扩展了达文波特在论文中提出的一些思想，讨论的主题包括迪利克雷L—级数及其解析延拓和函数方程，包含了有关字符和γ函数的相关支撑的材料。本书还研究了当a和b互质时，存在无穷多个素数全等于已知a模b的迪利克雷定理和等差数列的素数定理，还讨论了如何将这些思想应用于所谓的负佩尔方程的理论之中，具体研究了迪利克雷特征、L—系列、γ函数、黎曼ζ函数、泊松求和公式、西格尔零点和算术级数中素数的迪利克雷定理等内容。

这是一本SUN靠前认证SCWCD(Sun Certified Web Component Developer，Web组件开发人员认证)试题解答及测验指导书，针对SCWCD应试的所有知识点，选取典型试题进行分析、解答，便于有效地提高考生应试成功率。 全书分两个部分，首先给出SCWCD应试的700余个典型试题进行精彩剖析，阐明其考察知识点，以及答题技巧：其次分别列举了两套测试题，以验证应试者的学习成果，以便有效地培养、提高其应试能力。内容全面，知识讲解与试题贯穿、结合，实用、实效。 本书既可作为JSP知识难点学习，亦可配合SCWCD应试指导使用，同时还可以作为学习Java语言和JSPWeb程序组件设计指导教材。 这是一本难得的SCWCD应试演练习题集。