编译器是重要的系统软件，除了编译功能，在许多领域都有应用，如绿色计算、嵌入式系统优化、代码分析与验证、可信计算、软件测试等。编译器是否可信直接影响着整个计算机系统的可信性，因此编译器的可信性一直受到人们的广泛关注和深切重视。《信息科学技术学术著作丛书：可信编译构造理论与关键技术》全面系统地介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。同时，《信息科学技术学术著作丛书：可信编译构造理论与关键技术》还介绍了可信编译在嵌入式软件优化、绿色编译、软件测试以及可信软件开发过程中的应用与实践。《信息科学技术学术著作丛书：可信编译构造理论与关键技术》许多内容是作者近年来在该领域的最新研究成果，具有较强的原创性。本书取材新颖、内容丰富、概念准确、层次清晰、叙述严谨、图文并茂、系统性强，可作为高等院校和科研院所计算机科学与技术、软件工程、计算机应用技术等相关专业的高年级本科生或研究生的参考书，也可供可信软件及相关领域的研究人员借鉴、学习和参考。

本书第1版于2006年问世，由于内容全面、讲解细致、实例丰富而深受广大读者的喜爱，上市6年以来长期占据各大MATLAB类图书排行榜的前列。结合MATLAB软件的升级，并根据广大读者的热心反馈，这次我们推出升级的第3版，再次对内容进行升级、调整和优化，旨在满足更多读者的更高要求。本书深入浅出，紧密结合实例，对MATLAB的使用进行了全面且详尽的阐述，并通过大量的实例讲述如何实现MATLAB的基本操作和实际使用。全书图文并茂，突出应用，并配有大量的程序实例。全书共分40章，分为入门、计算、绘图、扩展、实战5篇。入门篇为第1~13章，主要讲述MATLAB的基本使用；计算篇为第14~23章，主要讲述MATLAB强大的计算功能；绘图篇为第24~30章，主要讲述MATLAB同样强大的绘图功能；扩展篇为第31~35章，主要讲述MATLAB的扩展功能；实战篇为第36~40章，主要讲述MATLAB在大学课程中的实战例子。本书最大的特色在于用实例说话，教您快速上手，每个例子都经过精挑细选，具有很强的针对性，力求让读者通过运行实例而掌握基本参数及制作技巧，快速有效地学习到MATLAB的知识。

《MATLAB数学计算与仿真应用》结合高校数学课程教学和工程科学计算应用的需要，从实用角度出发，先介绍MATLAB的功能特点、工作环境及Simulink，带领读者认识MATLAB软件，了解MATLAB的用法。接着介绍MATLAB矩阵及其分析、数值计算、函数分析、数据分析、符号运算、程序设计及优化问题等内容，让读者领略到利用MATLAB进行数学计算的方便、快捷及强大功能。最后进一步扩展介绍MATLAB在其他工程领域的实际应用，让读者切身体会到MATLAB的应用领域广泛、适用性强。本书以MATLABR2011a为平台编写，也适合其他软件版本使用者学习。《MATLAB数学计算与仿真应用》可以作为高校本科生和研究生的学习用书，也可供广大科研人员、学者、工程技术人员参考阅读。

ACM国际大学生程序设计竞赛（ACM-ICPC）是国际上公认的水平最高、规模最大、影响最深的计算机专业竞赛，目前全球参与人数达20多万。《ACM国际大学生程序设计竞赛（ACM-ICPC）系列丛书·ACM国际大学生程序设计竞赛：算法与实现》作者将76年的教练经验与积累撰写成本系列丛书，全面、深入而系统地将ACM-ICPC展现给读者。本系列丛书包括《ACM国际大学生程序设计竞赛：知识与入门》、《ACM国际大学生程序设计竞赛：算法与实现》、《ACM国际大学生程序设计竞赛：题目与解读》、《ACM国际大学生程序设计竞赛：比赛与思考》等4册，其中《ACM国际大学生程序设计竞赛：知识与入门》介绍了ACM-ICPC的知识及其分类、进阶与角色、在线评测系统；《ACM国际大学生程序设计竞赛：算法与实现》介绍了ACM-ICPC算法分类、实现及索引；《ACM国际大学生程序设计竞赛：题目与解读》为各类算法配备经典例题及题库，并提供解题思路；《ACM国际大学生程序设计竞赛：比赛与思考》介绍了上海交通大学ACM-ICPC的训练及比赛，包括训练札记、赛场风云、赛季纵横、冠军之路、峥嵘岁月。《ACM国际大学生程序设计竞赛（ACM-ICPC）系列丛书·ACM国际大学生程序设计竞赛：算法与实现》适用于参加ACM国际大学生程序设计竞赛的本科生和研究生，对参加青少年信息学奥林匹克竞赛的中学生也很有指导价值。同时，作为程序设计、数据结构、算法等相关课程的拓展与提升，本丛书也是难得的教学辅助读物。

张刚、张博、常青编著的《SoC系统设计》主要介绍在SoC的EDA平台上进行系统设计的方法，全书共9章，第1章为绪论；第2章为SoC系统设计概述，内容包括SoC基本概念、SOC研究内容、分类及设计流程、IP核复用技术、SoC设计工具等；第3章介绍现场可编程门阵列FPGA器件结构、配置及XilinxFPGA 产品；第4章讨论VHDL硬件描述语言使用方法，包括VHDL语法要素、顺序描述语句及并行描述语句；第5章介绍常用组合逻辑电路和时序逻辑电路的VHDL设计；第6章介绍ISE工具软件使用开发流程；第7章介绍ISE软件中IP核应用技术，包括DCM、RAM、ROM、FIFO等IP的生成方法；第8章叙述Chipscope片内逻辑分析仪使用方法；第9章介绍EDK开发流程及基于MicroBlaze处理器的SoPC系统设计方法。《SoC系统设计》内容全面系统，以培养读者实际应用开发为目标，实用性强，所配实例全部通过调试和验证，可直接用在读者的系统设计中。本书可作为高等院校电子、通信、计算机、自动化等相关专业的本科生和研究生教材，也可作为SoC开发人员的设计参考书。

多核架构是当前的行业趋势，越来越多的读者希望自己写的程序能够在这样的架构上取得良好的性能。《微软技术丛书：Visual Studio 2010并行编程从入门到精通》针对并行编程，沿袭深受读者欢迎的STEP-BY-STEP风格，一次讲授一个知识点，由浅入深地介绍了相关基础知识，如任务并行和数据并行，讨论了并发集合和线程同步，阐述了如何使用Visual Studio 2012来维护和调试并行应用。《微软技术丛书：Visual Studio 2010并行编程从入门到精通》可帮助.NET开发人员理解并行编程及相关技术的核心概念，帮助他们开发高性能的并行应用。

《21世纪高等教育计算机规划教材：汇编语言程序设计教程》主要介绍基于80x86的汇编语言程序设计方法和技术，共分为3个部分。第1章-第8章为主体部分，包括计算机基本组成结构和指令系统，循环、分支、子程序和宏汇编技术的程序设计；第9章-第10章为中断与输入输出的一些典型应用；第3部分为上机实验，其中有9组实验题供选用和参考。每章都有丰富的程序实例和习题，并提供实验题的指导和习题参考答案。《21世纪高等教育计算机规划教材：汇编语言程序设计教程》是国家质量工程特色专业“TS11483”的配套教材，内容的编排和实例的讲解力求思路清晰、通俗易懂、深入浅出。《21世纪高等教育计算机规划教材：汇编语言程序设计教程》可作为高等院校本科以及大专院校计算机和电子信息类专业的教材，也可供从事汇编语言编程的读者自学参考。

《普通高等教育计算机规划教材：汇编语言与接口技术（第2版）》兼顾汇编语言与接口技术两方面知识，阐述了8086微型机和ARM嵌人式微处理器PXA270的结构、工作原理等。在讲解有关硬件和必备知识的基础上，兼顾16位和32位汇编语言的知识，以MASM和ADS等工具为主讲解汇编语言的概念和设计知识，然后以典型的可编程接口芯片为载体，讲解汇编语言在接口技术方面的应用，既使学生掌握一般的汇编语言编程方法，又使学生学会如何用汇编实现接口设计。《普通高等教育计算机规划教材：汇编语言与接口技术（第2版）》知识体系结构合理、层次分明、逻辑严密、内容丰富，深入浅出，涵盖了汇编语言程序设计的主要知识和接口技术的应用。《普通高等教育计算机规划教材：汇编语言与接口技术（第2版）》可作为计算机及相关专业的本科、专科生教材，也可作为工程技术人员的参考书。

《可编程控制器程序设计》以三菱FX2N系列可编程控制器（PLC）为例，介绍可编程控制器的基本指令、步进指令、功能指令的使用规则及应用程序的设计方法，书中案例直接从厂方技术说明书中精选而来，编排也尽可能保持原貌，对一般教材忽略而又实用的功能指令进行了补充，强调功能指令的学习方法和应用，引导学生对厂方提供的原始资料创造性地加以利用。

如果你是正则表达式新手，那么《正则表达式入门（影印版）》容易上手的指南就是很好的入门读物。你将在大量实例的帮助下循序渐进地学习相关基础内容，学习通过匹配特定关键字、字符和模式以实现匹配、抽取和转换文本的第一手知识。正则表达式是程序员的重要工具，在很多Unix工具和Perl、Java、JavaScript、C#等编程语言中会用到。学完《正则表达式入门（影印版）》后，你将熟练掌握正则表达式中最常用的语法，还将领悟灵活运用它们以省时省力的相关技巧。