高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

博弈、协调与社会发展 协调经济学导论

固体废弃物收运物流系统导论

本书对固体废弃物收运物流系统从概念的产生、概念的内涵、系统的特性等方面进行了较全面的阐述。

信息检索导论

本书是信息检索的教材，旨在从计算机科学的视角提供一种现代的信息检索方法。书中从基本概念讲解网络搜索以及文本分类和文本聚类等，对收集、索引和搜索文档系统的设计和实现的方方面面、评估系统的方法、机器...

计算机导论

除作为高校的计算机相关专业本科生计算机导论课教材外，本教材涵盖微软办公软件全球认证中心推出的计算机综合应用能力考核全球标准认证(Inernet and computing Core Certification,简称IC3)内容，可以作为IC3...

汉译世界学术名著丛书 现代经济学导论

国际刑事法院导论

本书共分为八章，分别是国际刑事法院的创建、国家刑事法院的管辖和可受理性、国际刑事法院适用刑法的一般原则、国际刑事法院的调查和审判前程序、国际刑事法院的审判和上诉程序、国际刑事法院适用的刑罚和被...

分布式算法导论 原书第2版

本书对分布式算法以及算法所涉及的理论进行介绍。

语言学导论

语言学导论一直以来都是大学英语专业学生的一门必修课程。本书旨在从语言学的一些基本分支、发展以及基本的一些理论知识做一系统性介绍，目的是为了让英语专业学生通过学习对语言学知识有一个初步及总揽性的...

汉语国际教育导论

本书作为专著撰写，旨在从一些新的角度提纲挈领地阐释汉语国际教育的基本理念与操作方法，如“多元化的理念与多样性的做法”、“理论的深入与实践的浅出”、“教无定法与贵在得法”等，以期对汉语国际教育的实际...