目前，源代码分析是软件工程领域的必备方法之一，有着强烈的工程需求和实用价值，已成为国际学术界和工业界的一个热点。本书从源代码分析的基本概念开始，将其中所涉及的重要的技术和应用——抽象解释、符号计算、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算和约束求解等，结合大量的实例进行由浅入深的介绍和讲解；

本书以实用为目的，以由浅入深的方式介绍了Word、Excel、PowerPoint、WPS和Photoshop五个常用办公软件的基本操作和实用技巧，全书以案例的形式介绍软件的使用方法，涉及的案例非常广泛，包含了日常办公的大多数领域，如公文信函、通知启示、工作报告、工资管理、企业宣传、人事管理、市场分析、财务报表、图像处

本书围绕UI设计的特点和UI设计师的能力要求，先深入系统地介绍了视觉传达设计的风格演变与当代特征；而后从UI设计的基本要素，即视觉传达的三大要素入手，分章一一详细讲解字体、图形、色彩等要素在视觉设计中的重要作用与重要用法；在详细讲解完组成一个设计作品很基本的三大要素之后，笔者着重分析了UI设计的概念、流程、规范，在此基

深入地介绍了JavaWeb技术及其应用，内容涵盖JavaWeb入门、Servlet基础、Servlet核心接口、会话跟踪、JSP语法、JSP内置对象、JSP与JavaBean、表达式语言、标准标签库、Filter与Listener。全书采用一个真实项目贯穿各章节内容。

本书针对主教材有关C语言的基本概念、变量、运算符、表达式、顺序结构、分支结构、循环结构、数组、函数、指针、结构体、联合体和枚举类型、预处理和标准函数、文件、数据结构、数据抽象等章节的重点及难点进行总结。本书最后一部分为上机实验，每个实验包括实验目的与要求、实验步骤及实验内容，以此帮助读者提高程序设计的能力。

Kotlin被谷歌宣布为官方语言以来，引发了极大的关注，并成为学习的热点。《揭秘Kotlin编程原理》主要从封装、继承和多态三个方面全面介绍了Kotlin面向对象设计的语法特性及其背后实现方式。全书可分为基础篇、实战篇与提高篇，内容上层层深入，揭示了Kotlin对属性包装、多种形态的函数定义方式、以及各种特殊类型的定义

《编译原理习题解析与上机指导》是《编译原理》（王磊、胡元义主编，科学出版社出版，第三版）一书配套的习题解析与上机指导教材，也可单独使用。《编译原理习题解析与上机指导》的习题解析部分对《编译原理》中的习题进行了深入、细致的分析和解答，为读者熟练掌握编译原理知识、抓住重点、突破难点提供了有益的帮助。《编译原理习题解析与上机

近几年Python在机器学习、数据分析、运维等方面表现十分抢眼，已经成为求职必须掌握的主要语言之一。本书分为两卷，上卷详解语言（基于Python3.6），下卷分析标准库，涵盖Python编程中的高级问题，剖析语言相关背景和实现方式，帮助读者用好这一门优雅的语言。

本书由一线资深设计师结合游戏UI研发的工作经验创作而成，由浅入深地为读者介绍了什么是游戏UI、游戏UI的职业角色及基础知识、游戏UI设计技能修炼的方法、移动设计新视角、游戏UI风格设计和趋势探索等相关知识。 作者将自己多年的工作经验和专业思考，以文字的形式整理出来分享给大家。通过系统介绍游戏UI设计的思维方式、知识体系

《逆流而上：阿里巴巴技术成长之路》是阿里巴巴集团荣耀背后的技术血泪史。《逆流而上：阿里巴巴技术成长之路》通过分享业务运行过程中各个领域发生的典型踩坑案例，帮助大家快速提升自我及团队协作，学习到宝贵的处理经验及实践方案，为互联网生产系统的稳定共同努力。从基础架构、中间件、数据库、云计算、大数据等技术领域中不断积累经验，颠

本书以MATLABR2016a为平台编写，全面、系统地介绍了小波变换中的各种技术及应用。全书共22章，分别介绍了小波变换的基本概念、小波MATLAB工具箱、小波用于信号处理、小波用于图像处理、小波在实际工程中的应用、小波包算法应用、提升小波及其应用等内容。本书编写过程中力求系统性、实用性与先进性相结合，理论与实践相交融

本书作为HTML5网页开发语言的教程，系统地介绍了HTML5的相关知识点。全书共12章，从HTML5的基础知识及其元素的用法开始，后面依次讲解了HTML5的表单与文件API、Canvas绘制图形、音频与视频、本地存储、离线Web应用、地理位置API、通信API、XMLHttpRequestAPI、WebWorkersA

本书采用以解决实际应用问题为导向、以具体编程任务为驱动的模式，将C语言的知识无缝融入每个实际应用程序中。作者精心设计了100多个应用案例，每个案例均有实现特定功能的、完整的、可运行的程序代码。本书图表丰富，对程序设计的概念、求解问题的思路和方法、程序背后的原理和机制进行了深入剖析。全书共9章。第1章从简单程序入手，将程

VerilogHDL是一种使用广泛的硬件描述语言，目前在国内无论是集成电路还是嵌入式设计的相关专业都会使用到这种硬件描述语言。市面上介绍VerilogHDL的教材非常广泛，各有不同的偏重。在第1版广泛应用的基础上，吸收了众多读者的宝贵建议，大幅完善了第2版内容。本书着重从设计角度入手，每章都力求让读者掌握一种设计方法，

本书以MATLABR2016a为平台，在讲解各种智能算法的过程中给出相应的实例。全书共分30章，主要介绍了控制系统设计应用、神经网络设计应用、数字图像处理算法分析及应用、通信系统的实际应用和数字信号处理技术等内容。本书可作为控制工程、通信工程、电子信息工程专业广大科研人员、学者、工程技术人员的参考书，也可作为从事高等教

本书针对开发零基础的人群，采用案例或任务驱动的方式，由入门到精通，采用边讲解边练习的方式，使读者感受到学习开发原来如此容易。本书中的数据库技术主要包括MySQL数据库、数据操作、高级查询、索引及数据恢复备份、MySQL数据库优化等方面的知识。通过本书，读者可以实现对MySQL数据库的使用和开发。

本书针对已经掌握java语言基础的人群，深入学习Java高级实用技术，进一步强化Java开发技能，主要学习Java集合框架、泛型、Java实用类、输入输出处理、反射机制、注解、多线程、Socket网络编程、XML解析等知识。通过本书，读者将能够掌握Java常用的API技术，能够实现一些实际开发中的功能。

本书从Java语言的学习开始，学习Java，掌握其基础语法是必备的，从变量、数据类型、运算符、流程控制、数组等基础语法带你入门，渐渐掌握Java最精髓的面向对象思想，包括封装、继承、多态、接口等内容。这是一个由浅入深的过程，也是一个收获满满的学习过程。 本书使用Java及面向对象思想进行控制台程序开发，并配以完善的学习

《Office2007办公应用从入门到精通》通过精选案例引导读者深入学习，系统地介绍了用Office办公的相关知识和应用方法。 全书分为5篇，共18章。第1篇为Word办公应用篇，主要介绍Office2007的安装与设置、Word的基本操作、使用图和表格美化Word文档，以及长文档的排版等；第2篇为Excel办公应用

本书采用Windows操作系统+VMware虚拟机作为Linux操作系统运行平台，选用主流的Linux发行版RedHat企业版LinuxRHEL6.3为基础，全面介绍了Linux操作系统的Shell、系统管理、网络配置、内核升级与配置等方面的基础知识与实际应用。《BR》本书分为12章，内容包括Linux概述、Linux