程序分析技术是编译器、软件开发以及软件质量保障的基础。本书共6章，主要内容包括程序分析基础、程序的中间表示、数据流分析、程序切片与程序插桩、软件缺陷检测、智能化程序分析技术等，涵盖了程序分析基础理论和技术，还贯穿若干案例，讲解工业界的程序分析实践。

本书详细介绍了适合全国高等学校体育课程的各项体育运动。全书共20章，运动项目包括篮球、气排球、足球、乒乓球、羽毛球、网球、健美操、啦啦操、瑜伽、体育舞蹈、形体训练、攀岩、拓展运动、飞盘、花样跳绳、定向运动、跆拳道、散打、健身气功和二十四式简化太极拳。本书不仅知识讲解全面，而且提供扫码看微课供读者学习、参考，有利于引导大

本书详细介绍了大学体育课程中涉及的体育理论基础及各项体育运动知识。本书共15章，第1章至第4章为理论知识讲解，内容包括体育与健康概论、运动损伤与急救、大学生体育健康测试、课外体育与竞赛；第5章至第15章为具体的体育项目讲解，内容包括田径、足球、篮球、排球、乒乓球、羽毛球、网球、健美操、武术、游泳、民族传统体育项目。

本书基于《全国普通高等学校体育课程教学指导纲要》的指导精神和普通高等学校体育课程的教学需要编写而成。全书共11章，主要内容包括大学体育概述、新时代体育与健康、体育运动科学基础、体育运动与大学生身心健康、体育运动营养保障与损伤防治、体育运动卫生与保健、大学生体质评价与锻炼、身体素质的发展与练习、终身体育、校园体育文化、体

本书是专门为老年人士设计的太极拳零基础入门指导书，由太极拳世界冠军、国家级运动健将高崇教练指导及示范。本书主要分为两部分内容：第一部分内容介绍了太极拳的历史发展，第二部分内容采用真人展示、分步图解的形式，对太极拳的基本手型、基本步型以及普及48式太极拳的练习方法和要点进行了细致解析。此外，本书附赠了太极拳的基本手型、基

本书以进出口业务操作流程为主线，按照交易前准备、交易磋商与合同签订、合同履行三大模块来安排内容。本书坚持知识全面、技能实用、紧贴前沿的原则，以提高进出口业务操作人员的知识素养与综合技能为目标，以履行合同所依据的各类合同条款为纲目，内容涵盖传统国际贸易模式、数字贸易模式、跨境电商模式等多种国际贸易业务领域所需的外贸实践技

本书围绕高校落实立德树人根本任务、创新开展教育教学的相关理论和实践研究方面，从理论探索篇、思政课程篇、课程思政篇、创新案例篇和教学改革篇五个部分，汇聚了学校近年来在思想政治教育教学和专业课开展课程思政领域的优秀研究成果，内容丰富，观点新颖,实践多元，既有高校校园文化、大学生忠诚教育、网络文化育人等理论前沿的思索，

本书构建了适用于复杂多样的城市情况的指标体系，并利用231座城市的数据、科学理论与算法，通过城市类型识别和指标体系评价与应用研究，为APEC城市可持续发展的评价工作提供了理论依据，形成一完整的可在更多APEC城市实施的方法。本书的研究有效解决了复杂多样的APEC城市的可持续发展表现测量和比较的问题，促进了APEC城市间

小说时间跨度为1985年到2018年，讲述了在改革开放和新世纪历程中，韩云志和一系列相关人物的人生经历和命运转折。韩云志自初中起酷爱唱歌，因成长环境受限，没有实现当歌星的愿望。他投笔从戎，考取军校，成为一名军官。十四年的军旅生涯中，他到过边防前线，戍边卫国的炮火硝烟和坚守边疆的孤独与寂寞给他留下了刻骨铭心的记忆。结束军

石磊在玩具公司任职的四年一直一帆风顺。但他因童年时缺乏家庭的关爱，内心的阴暗面逐渐暴露，犯下了大罪。他试图掩盖罪行，瞒天过海。随着董事长、画家妻子及案件关联人的相继意外死亡，一条看不清的线将离奇的案子带入谷底。被誉为希捷市第一神探的唐纳德警官锲而不舍地追寻真相，不断完善证据链，最终查明真相，作恶之人终将接受法律的审判和