编译程序的设计与实现

作者：  刘磊等[编著]

出版社：高等教育出版社,2004

简介：　　译程序是计算机系统不可缺少的部分，是程序设计者的必备工具。学习并掌握编译程序的构造原理和实用技术，能够提高对程序序言语言的理解，提高程序设计，尤其是大型软件的设计能力。 　　 本教材以一个简单的具有嵌套过程定义的过程式语言SNL作为教学语言，详细介绍了该语言编译程序的设计和实现方法，并对已经实现的编译程序的源代码分阶段进行了详细的分析，尤其是对编译程序的组成、现实算法、所用数据结构以及功能部分所采用的编译技术都做了详细的介绍，并配有相应的框说明。学生在学习“编译原理”课程的同时，可以配合本教材中编译实例的分析，进一步理解和掌握编译程序的构造原理和实现方法。此外，随书发行的光盘中含有SNLC（SNL编译程序）的安装程序、SNLC的源代码以及SNL源程序实例。学习可阅读其中的编译程序源代码，并根据需要对源代码进行改进，从而达到加深对编译原理的理解、提高程序设计功能的目的。 　　 本教材是一本非常实用的编译程序实例分析和教学辅导教材，可作为高等院校计算机及相关专业的本科教材，也可供相关技术人员参考。　　

Program analysis methods

作者：  刘磊[等]编著

出版社：机械工业出版社,2013

简介：　　《程序分析方法》共7章，第1章介绍程序设计语言的历史以及未来的发展趋势；第2章介绍元程序设计，包括元程序的概述、元程序系统及其应用；第3章介绍信息流分析技术；第4章介绍别名分析的相关知识；第5章介绍程序分片的基础知识和方法；第6章介绍形式概念分析的相关知识和应用；第7章介绍部分求值技术的相关内容。 　　《程序分析方法》可作为计算机相关专业本科高年级学生及研究生教材，也可作为程序开发人员的参考用书。

程序分析技术

作者：  刘磊等编著

出版社：机械工业出版社,2005

简介：　　程序分析技术上以程序为处理对象，按需求对其进行各种分析的方法，在程序理解，程序测试，程序优化和程序重构等方面有着重要的应用。本书把当前常用的程序分析方法和作者的科研成果相结合，着重介绍了元程序设计，信息流分析、形式概念分析，别名分析，程序分片和部分求值等内容。本书可作为计算机本科生，研究生教材，或计算机专业高年级选修课教材，也可作为计算机研与开发人员的参考书。

Principles of chemical biology

作者：  刘磊[等]编著

出版社：科学出版社,2010

简介：　　 化学生物学是现代化学和生命科学交叉的新兴领域。它的诞生不仅开 　　拓了化学和生命科学的研究视野，也为更好地使用多学科手段解决诸如人 　　类健康等社会重大问题提供了新的思路。大力发展化学生物学，不仅是基 　　础科学发展的需要，也是我国赶超世界尖端科学技术所必须重视的战略方 　　向。作为介绍这一重要新兴领域的基础教科书，本书希望能够更好、更早 　　地 　　把现代科学前沿介绍给大学生，促使他们迅速成长为主导国家发展的拔尖 　　创新人才。 　　 本书分为三大部分十五章，系统地阐述了这一新兴学科的各方面基本 　　概念、知识、技术和应用，包括化学生物学的分子基础、化学生物学的概 　　念和 　　技术，以及化学生物学的应用和延展。强调化学生物学的系统知识和学科 　　全貌，同时兼顾学科发展趋势和在现代尖端科学技术中的应用。 　　 本书适合作为高年级本科生、研究生、相关领域研究人员的教学用书 　　或 　　参考书。 　　

编译原理及实现技术

作者：  刘磊等编著

出版社：机械工业出版社,2005

简介：编译原理是计算机学科的一门重要专业基础课，本书旨在介绍编译程序设计的基本原理、实现技术、方法和工具，本书充分考虑了教师便于教育学，学生便于自学的问题，在介绍基本原理和实现技术中，注重循序渐进，深入浅出，第一章节都提供了编译程序实现的具体实例，每章末尾都给出了丰富的习题以辅助学生更好地掌握编译过程。 本书包含了编译程序设计的基础理论和具体实现技术，主要内容有：形式语言与自动机理论、词法分析、语法分析、语义分析、中间代码生成、中间代码优化和目标代码生成等编译过程。 本书可作为大专院校计算机专业的教材，也可作为计算机工程技术人员的参考书。

Organization of digital information

作者：  甘利人，薛春香，刘磊等编著

出版社：科学出版社,2010

简介：　　 本书是《现代信息资源管理丛书》之一。 　　 本书立足于数字信息特点，全面深入地阐述了数字信息组织的理论、 　　方法、技术及应用，内容涉及数字信息及数字信息组织基本内容与方法、 　　分类法与主题法、语义网信息组织与本体、数字信息组织描述规范、数字 　　信息组织技术标准、数字信息自动组织技术、数字图书馆信息组织、网站 　　信息构建、电子商务网站信息组织和电子政务信息组织等。本书侧重于网 　　络环境中数字信息组织内容、方法、技术的系统论述，具有系统性、新颖 　　性、较高的学术性和较广泛的应用价值。 　　 本书可作为高等院校信息管理与信息系统、图书馆学、情报学等专业 　　的教材或教学参考书，也可供各类从事与信息组织相关工作的机构或部门 　　，包括各类型的文献机构、网络公司及企业或政府信息管理部门的工作人 　　员学习参考之用。 　　

编著者还有：郭德贵、张晶、张红、杨冬

作者：  刘磊[等]编著

出版社：机械工业出版社,2010

简介：　　 编译原理是计算机学科的一门重要专业基础课。本书旨在介绍编译程 　　序设计的基本原理、实现技术、方法和工具，充分考虑了教师便于教学， 　　学生便于自学的问题。在介绍基本原理和实现技术中，注重循序渐进、深 　　入浅出，每一章节都提供了编译程序实现的具体实例，每章末尾给出了丰 　　富的习题以辅助学生更好地掌握编译过程。 　　 本书包含了编译程序设计的基础理论和具体实现技术，主要内容有： 　　形式语言和自动机理论、词法分析、语法分析、语义分析、中间代码生成 　　、中间代码优化和目标代码生成等编译过程。 　　 本书可作为大专院校计算机专业本科生教材，也可作为计算机工程技 　　术人员的参考书。 　　

第三次经济革命

作者：  刘磊等编著

出版社：中国大地出版社,1998

简介：