Modular Forms and Fermat's Last Theorem = 模形式与费马大定理

建筑结构的奥秘 力的传递与形式 第2版

本书在结构力学、结构设计与建筑物形态方面进行图示和说明，展现了结构对建筑的重要性，特别是结构对建筑物安全性和建筑美学方面的贡献，可以帮助读者了解到人类长久以来致力于使“力”和“美”相互完美结合的努...

平面设计中的抽象思考

本书通过简短的文字和简单的图示，展示作者在平面设计中对于图形和结构的理性思考过程，传达一种具有可操作性的思维方式或思路。

犯罪构成与刑事处罚

本书围绕刑法总则关于犯罪构成与刑事处罚这两大主题，分为两编进行了宣讲。两编主要依照刑法总则条文顺序，区分专题作问答式宣讲。每个专题分为宣讲要点、典型案例、专家评析、法条指引四个部分。宣讲要点重在...

自守形式与 Langlands 纲领

Langlands纲领是20世纪数学的重要工程之一，该工程对许多领域诸如数论、表示论、算术代数几何等都起到了关键的作用。有着紧密联系的自守表示是Langlands纲领中的基础概念。在过去的几年中，几何Langlands纲领...

程序开发原理 抽象、规格与面向对象设计 abstraction， specification， and obiect-oriented design

本书由著名编程理论专家所著，是美国麻省理工学院电气工程与计算机科学系的编程实践课程教材。书中讨论了怎样构建具有高可靠性、易于维护和能得以快速修改的软件开发方法，强调了软件的模块化开发思想，用丰富的...

抽象代数

本书系统介绍了抽象代数的基本概念、基本方法、基本理论。全书共分5章，前两章分别介绍了具有一定深度和广度的群、环、域的一般知识；第3章介绍了Galois理论，它是群论与域论结合所得到的深刻数学结果的具体体现...

数据结构教程 抽象数据类型描述 C语言版

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

数据抽象和问题求解 Java语言描述

本书介绍Java语言描述数据抽象和问题求解等编程技巧和方法。