为了满足读者了解如何动手制作语料库的需要，自2006年以来，中国外语教育研究中心和外语教学与研究出版社连续四年举办了语料库与外语研究研修班，梁茂成、李文中、许家金几位博士都是主讲人。他们根据授课经验，收集和设计了许多案例和颇为有效的软件，精心编制了这本《语料库应用教程》，手把手地传授语料库创建和应用方面的方法和技术。此事可庆可贺，而此书则是一本值得向读者大力推荐的好书。这本书有什么好处呢？
1) 说理清楚。这本书强调的是怎样动手，但是知其然，还必须知其所以然。否则就会陷入盲目性。语料库语言学牵涉到的学科专业不少，例如文本分析、语体分析、计算机技术、统计学等。这本书删繁就简、用精取宏，把道理和概念都交代得清清楚楚。
2) 按部就班，循序渐进。要动手，必须讲究先后安排，那就是条理性的问题。这本书经过精心策划，安排得当，使学习者容易上手，然后逐步升堂入室。
3) 锐意求新，体现语料库语言学的新进展。比如，XML语言是近些年来才得到发展和认可的语言，便于记录语料库中的结构化信息，而和它相联系、便于实现高效检索的正则表达式在语料库相关研究中正在得到广泛应用。这本书对怎样利用XML语言进行语料库建设、如何使用正则表达式进行高效检索等问题做了清楚而详尽的解释和说明，而现有的语料库教科书对此均讳莫如深。
4) 资源丰富。书中介绍了很多关于语料库语言学的资源，并附有作者自行编制的软件，为学习者建立语料库、利用语料库从事研究提供了极大的方便。
我接触语料库语言学已有10多年了，也编制过几个语料库，那些都是第一代的语料库。读了这本新书后，才感到自己的语料库知识大有更新的必要。这本书出版后，我以首先获得它为荣。
——广东外语外贸大学 桂诗春教授

Eugene Charniak breaks new ground in artificial intelligenceresearch by presenting statistical language processing from an artificial intelligence point of view in a text for researchers and scientists with a traditional computer science background.New, exacting empirical methods are needed to break the deadlock in such areas of artificial intelligence as robotics, knowledge representation, machine learning, machine translation, and natural language processing (NLP). It is time, Charniak observes, to switch paradigms. This text introduces statistical language processing techniques;word tagging, parsing with probabilistic context free grammars, grammar induction, syntactic disambiguation, semantic wordclasses, word-sense disambiguation;along with the underlying mathematics and chapter exercises.Charniak points out that as a method of attacking NLP problems, the statistical approach has several advantages. It is grounded in real text and therefore promises to produce usable results, and it offers an obvious way to approach learning: "one simply gathers statistics."Language, Speech, and Communication

《支持向量机：理论、算法与拓展》以分类问题（模式识别、判别分析）和回归问题为背景，介绍支持向量机的基本理论、方法和应用。特别强调对所讨论的问题和处理方法的实质进行直观的解释和说明，因此具有很强的可读性。为使具有一般高等数学知识的读者能够顺利阅读，书中首先介绍了最优化的基础知识。《支持向量机：理论、算法与拓展》可作为理工类、管理学等专业的高年级本科生、研究生和教师的教材或教学参考书，也可供相关领域的科研人员和实际工作者阅读参考。

《组合数学》(原书第4版)侧重于组合数学的概念和思想，包括鸽巢原理、计数技术、排列组合、Polya计数法、二项式系数、容斥原理、生成函数和递推关系以及组合结构(匹配、实验设计、图)等，深入浅出地表达了作者对该领域全面和深刻的理解，介绍了历史上源于数学游戏和娱乐的大量实例，其中对Polya计数、Burnside定理等的完美处理使得不熟悉群论的学生也能够读懂。除包含第3版中的内容外，本版又进行了更新，增加了莫比乌斯反演(作为容斥原理的推广)、格路径、Schroder数等内容。此外，各章均包含大量练习题，并在书末给出了参考答案与提示。

《组合数学(英文版)(第5版)》英文影印版由Pearson Education Asia Ltd．授权机械工业出版社独家出版。未经出版者书面许可，不得以任何方式复制或抄袭奉巾内容。仅限于中华人民共和国境内(不包括中国香港、澳门特别行政区和中同台湾地区)销售发行。《组合数学(英文版)(第5版)》封面贴有Pearson Education(培生教育出版集团)激光防伪标签，无标签者不得销售。English reprint edition copyright@2009 by Pearson Education Asia Limited and China Machine Press．
Original English language title：Introductory Combinatorics，Fifth Edition(ISBN978—0—1 3-602040-0)by Richard A．Brualdi，Copyright@2010，2004，1999，1992，1977 by Pearson Education，lnc． All rights reserved．
Published by arrangement with the original publisher，Pearson Education，Inc．publishing as Prentice Hall．
For sale and distribution in the People’S Republic of China exclusively(except Taiwan，Hung Kong SAR and Macau SAR)．

《概率导论(第2版)》是在MIT开设概率论入门课程的基础上编写的, 其内容全面, 例题和习题丰富, 结构层次性强, 能够满足不同读者的需求。书中介绍了概率模型、离散随机变量和连续随机变量、多元随机变量以及极限理论等概率论基本知识, 还介绍了矩母函数、条件概率的现代定义、独立随机变量的和、最小二乘估计等高级内容。
《概率导论(第2版)》可作为所有高等院校概率论入门的基础教程, 也可作为有关概率论方面的参考书。

《数值分析》以收敛性、复杂性、条件作用、压缩和正交性这5个主要思想为核心进行展开。内容包括求解方程组、插值、最小二乘、数值微分、数值积分、微分方程及边值问题、随机数及其应用、三角插值、压缩、最优化等。每章都有一个实例检验，有助于读者了解到相关应用领域。附录中介绍了矩阵代数和MATLAB，并提供了部分习题的答案。
《数值分析》内容广泛，实例丰富，可作为自然科学、工程技术、计算机科学、数学、金融等专业人员进行教学和研究的参考书。

Git is the version control system developed by Linus Torvalds for Linux kernel development. It took the open source world by storm since its inception in 2005, and is used by small development shops and giants like Google, Red Hat, and IBM, and of course many open source projects.
* A book by Git experts to turn you into a Git expert
* Introduces the world of distributed version control
* Shows how to build a Git development workflow
What you’ll learn
* Use Git as a programmer or a project leader.
* Become a fluent Git user.
* Use distributed features of Git to the full.
* Acquire the ability to insert Git in the development workflow.
* Migrate programming projects from other SCMs to Git.
* Learn how to extend Git.
This book is for all open source developers: you are bound to encounter it somewhere in the course of your working life. Proprietary software developers will appreciate Git’s enormous scalability, since it is used for the Linux project, which comprises thousands of developers and testers.

本书是诺贝尔经济学奖得主司马贺的代表作之一，是1996年修订出版的第三版的中译本。第三版增加了全新的一章“复杂性面面观”，修改了文字内容并更新了部分数据。
作者率先构造出“人工科学”的概念，据以将经济学、思维心理学、学习科学、设计科学、管理学、复杂性研究等领域贯穿联系起来，使人获得很多启迪。本书对传统思维提出挑战，指出人工智能所期望达到的领域，揭示了人工性和层级对于复杂性的意义，从多个领域说明人工科学何以是可能的，并试图说明它的性质。本书的基本主题是：物质符号系统具备必要和充分的手段来采取智能行动。

This course is offered to undergraduates and is an elementary discrete mathematics course oriented towards applications in computer science and engineering. Topics covered include: formal logic notation, induction, sets and relations, permutations and combinations, counting principles, and discrete probability.

《复杂数据统计方法——基于r的应用》用自由的日软件分析30多个可以从国外网站下载的真实数据，包括横截面数据、纵向数据和时间序列数据，通过这些数据介绍了几乎所有经典方法及最新的机器学习方法。
《复杂数据统计方法——基于r的应用》特点：(1)以数据为导向；(2)介绍最新的方法(附有传统方法回顾)；(3)提供r软件入门及全部例子计算的日代码及数据的网址；(4)各章独立。
《复杂数据统计方法——基于r的应用》的读者对象包括统计学、应用统计学、经济学、数学、应用数学、精算、环境、计量经济学、生物医学等专业的本科、硕士及博士生，各领域的教师和实际工作者。

本书根据计算机学科的内在联系、相关程度与性质特点，划分为“计算机科学理论”、“计算机组织与体系结构”、“计算机硬件”、“计算机应用技术”和“人工智能”6大分支，按4级框架，共设置1293个条目200多万字。

本书通过对JavaScript语言的分析，甄别出好的和坏的特性，从而提取出相对这门语言的整体而言具有更好的可靠性、可读性和可维护性的JavaScript的子集，以便你能用它创建真正可扩展的和高效的代码。
雅虎资深JavaScript架构师Douglas Crockford倾力之作。
向读者介绍如何运用JavaScript创建真正可扩展的和高效的代码。

《非线性优化计算方法》系统和深入介绍非线性优化的主要计算方法和相关理论，主要内容包括：一维优化方法、梯度法和共轭梯度法、拟牛顿法、直接方法、二次规划、罚函数法、可行方向法、逐步二次规划法、信赖域法、内点法、滤子方法等。

《全国统计教材编审委员会"十二五"规划教材:贝叶斯统计(第2版)》不仅与书本知识紧密结合，与课时教学密切配合。而且它在夯实学生基础知识、培养基本技能的同时，更加注重提高学生的发散思维能力。《全国统计教材编审委员会"十二五"规划教材:贝叶斯统计(第2版)》沿着知识、能力、应用的训练主线，层次分明，难易有度，延展有序。

阿基米德（Archimedes 约公元前287～前212年）是古希腊著名的数学家和物理学家。后人对他给予极高的评价，常把他和牛顿、高斯并列为有史以来三个贡献最大的数学家。阿基米德在继承前人数学成就的基础上，作了进一步完善和发展，他给出了“阿基米德公理”，使与极限关命题证明的“穷竭法”更加严密，并且运用自如，最后完成了圆面积，球表面积以及球体积的证明。阿基米德在对古希腊三个著名的问题的深入探索中引出了诸多的发现，并且在数学的各个方面作出了开创性的工作。他研究了与螺线、热物线和圆锥曲线旋转体有关的命题，同时在三次方程和算术方面都有贡献。阿基米德的著作是数学阐述的典范，写得完整，简练，显示出巨大的创造性，计算技能和证明的严谨性。他的每一篇论文都为教学知识宝库做出了崭新的贡献。本书收集了已发现的阿基米德著作，它对于了解古希腊数学，研究古希腊数学思想以及整个科技史都是十分宝贵的。

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。.
本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

本书是首部全面、清晰且令人易于理解地阐述复杂适应社会系统的著作，由该领域两位权威学者联袂完成。复杂适应社会系统——不论是“政治党派”、“股票市场”，还是蚂蚁群落——都体现了社会科学在理论上与实践上所面临的一些最有趣的挑战。通过引人入胜的文字描述和难易适中且附有直观解释的技术细节，本书着重介绍了自20世纪90年代中期以来在该领域出现的关键工具与思想，以及研究此类系统所需要的支撑技术。本书详细介绍了一些相关概念，比如涌现性、自组织临界性、自动机、网络、多样性、适应性以及反馈等。它还展示了如何利用从数学到适应性主体计算模型等一系列广泛的方法来探索复杂适应系统。