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
本书是为《工程测量学》全英文教学出版的英文教材。工程测量学是测绘工程专业的一门核心必修课，本书根据工程建设中的规划设计、建筑施工、运营管理三个阶段对测量工作的不同要求展开叙述，共分为十二章。内容覆盖了工程测量学所涉及的工程建设规划设计阶段各类地形信息的获取与应用、工程控制网的质量分析与优化设计、工程建设中的施工测量与放样方法、工程建设与运营管理中的变形监测技术与数据处理等。具体章节为：第一章绪论；第二章工程建设规划设计阶段地形图的应用；第三章线路测量及土方量计算；第四章水下地形测量；第五章工程控制网质量分析及优化设计；第六章施工放样技术；第七章平面曲线测设；第八章桥梁和大坝测量；第九章隧道测量；第十章竖井联系测量与陀螺经纬仪；第十一章工程建筑物变形监测；第十二章变形监测数据
本册为第5卷：守恒定律与旋转运动：不变性的概念或守恒定律，是在典型的经典力学课程中被首先提出的。几乎在所有的物理课程中，这个概念对于培养解题技巧也是至关重要的，不论是什么内容或级别的解题技巧。守恒定律被用在物理课程的每一种类型中：力学、电学、磁学、热力学、电子学、量子力学、核能和粒子物理学等。这些守恒定律的前两个，能量守恒和动量守恒将在第5卷中讨论。最后，第5卷介绍了质心和旋转运动的概念。我们的运动没有在直线上，我们研究的物体现在可以旋转、自旋和翻滚。
本书共分八章，主要阐述了变分原理，即自然界静止（相对稳定状态）事物中的一个普遍适应的数学定律，也称最小作用定理，是物理学中的一条基本原理。书中内容包括变分法的表达方式、变分法的一些技巧、勒让德变换。在经典力部分，论述了拉格朗日形式导出哈密顿形式、哈密尔顿运动方程、正则变换方程、运动方程、曲面定义、测地线的法向性质、第二基本形式和点为脐点的紧凑表面。本书由浅入深，逻辑严谨，适合高等院校师生及相关专业研究者和爱好者参考阅读。
本书将深入浅出地介绍Intel80X86微处理器的工作原理及接口技术知识，探讨基于80X86微处理器的工程系统设计及应用。针对目前靠前上相关书籍在接口技术方面介绍比较欠缺的问题，本书致力于系统介绍80X86微处理器的工作原理及接口技术应用。本书内容包括9章，内容包括：微处理器介绍、微处理器架构、指令集、汇编语言编程、存储器、中断、IO接口技术、AD和DA转换、总线接口等。
Discover family entertainment choices like never before! This easy-to-use guide features projects for creating the ultimate home entertainment experience for your family. Youll focus on funnot technologyas you discover how to use Windows Vista, Windows Media Center, and Xbox 360. Written by a family for your family, this book highlights the features and capabilities that are most important to you. Its organized by activitysetting up your system, creating digital family memories, and healthy gaming for the entire family. Youre no longer limited to watching a video on your PC, or keeping your music on your MP3 device. Now, you can extend your entertainment possibilities through the entire house for everyone to enjoy!
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes -proceedings (published in time for the respective conference) -post-proceedings (consisting of thoroughly revised final full papers) -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)
第1版中介绍的C语言成为后来广泛使用的C语言版本——标准C的基础。人们熟知的“hello,World”程序就是由《C程序设计语言(英文版)(第2版)》首次引入的。现在，这一程序已经成为众多程序设计语言入门的课。第2版根据1987年制定的ANSIC标准做了适当的修订，引入了近期新的语言形式，并增加了新的示例。通过简洁的描述、典型的示例，作者全面、系统、准确地讲述了C语言的各个特性以及程序设计的基本方法。对于计算机从业人员来说，《C程序设计语言》(英文版)(第2版)是一本的程序设计语言方面的参考书。
Learn Microsoft Windows PowerShellone step at a timewith practical, hands-on instruction from Microsofts leading *ing trainer, Ed Wilson. Work at your own pace and build practical system administration skills as you learn how to use Windows PowerShell to administer Microsoft Windows, Microsoft Exchange, and other Microsoft technologies. You will learn how to write your first Windows PowerShell commands and *s to automate setup, deployment, and administration. This guide features self-paced learning labs and a companion CD that features a complete eBook, plus dozens of adaptable sample *s you can use on the job. 作者简介： Ed Wilson is a senior consultant at Microsoft Corporation and a well-known *ing expert. He is a Microsoft Certified Trainer who delivers popular *ing, networking, and administration workshops to Microsoft employees and customers worldwide. He's written several books on Windows *ing, including Microsoft Windows Scripting SelfPaced Learning Guide and Microsoft VBScript Step bySte
This book is a single reference that's indispensable for Excelbeginners, intermediate users, power users, and would-be powerusers everywhere. Fully updated for the new release, this latest edition providescomprehensive, soup-to-nuts coverage, delivering over 900 pages ofExcel tips, tricks, and techniques readers won't find anywhereelse. John Walkenbach, aka "Mr. Spreadsheet," is one of the world'sleading authorities on Excel. Thoroughly updated to cover the revamped Excel interface, newfile formats, enhanced interactivity with other Officeapplications, and upgraded collaboration features. Includes a valuable CD-ROM with templates and worksheets from thebook.
磁学的自旋波理论和超导的BCS理论是典型的重整化理论之前的理论。这两个理论都只考虑了原子论的（离散化的）相互作用而没有考虑连续固体的能量自由度。从Kenneth G. Wilson（1982年诺贝尔奖得主）的先驱工作开始，我们知道了连续固体的一个特殊的的对称性：长度标度变换不变性。 本书综述了近50年来固体物理的实验，并用唯象的方式指出磁序和普通超导的动力学出现主要受连续固体的场论粒子而不是磁子或Cooper对的控制。在磁序中相关的粒子称作GSW玻色子，在超导里相关的粒子称作SC玻色子。 本书适合凝聚态、材料科学和粒子物理等领域的研究者和研究生阅读。
Get hands-on guidance for developing smart client applications using Windows Forms with the Composite UI Application Block (CAB) and the Smart Client Software Factory. Smart clients, the evolved intersection of thin clients and rich clients, have been hampered by the complexities involved in using traditional Web development methods. With just your fundamental Microsoft Visual Basic or Microsoft Visual C# skills, this guide will help you understand the prefabricated classes of CAB and the proven patterns that the Smart Client Software Factory provides. This book offers classroom-tested guidance, hands-on instruction, and a proven building-block approach. Through seven modular lessons, developers of moderate experience with learn how to create functional, robust smart client applications.
The new CS3 version of Illustrator is light years beyond previous versions, and whether you're a novice or veteran designer, you'll want to get quickly up to speed on this powerful new tool. With clear explanations and plenty of examples, Adobe insider Ted Alspach reveals the secrets on how to best use Illustrator CS3 for Web graphics, integrate it with the rest of the Creative Suite, work in 3D—and above all, why it's such a radical step up from CS2. Tap the power of Illustrator CS3 for your projects with this in-depth guide from an industry expert. Use Live Color to get color options you never had before Integrate Illustrator CS3 seamlessly with Photoshop and Flash Quickly start new documents with preset profiles Work easily with transparency, fonts, styles, and effects Get more out of Illustrator with hundreds of tips and tricks Learn about *ing and Web graphics generation for online design
