本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订，几乎每章都包含习题，并新增一章讨论类型细化。本书涉及的概念广泛，包括：基本数据类型，多态和抽象类型，动态定型，动态分派，子类型和类型细化，符号和动态分类，并行和成本语义，并发和分布。书中对不同编程语言的特性做了分析、证明和比较，所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证，具有较高的实用性。 本书不仅可以作为高等学校计算机相关专业的编程语言理论课程教材，也可供相关领域的科研人员和技术人员参考阅读。

经典电影理论教材新版修订 条分缕析、仔细梳理电影理论史上各家观点 学习电影理论的入门必备 ................... ※编辑推荐※ ☆ 电影理论入门经典教材，细致梳理电影理论的发展历程和重要观点。 ☆体例清晰，方便读者迅速认识各派理论观点精髓，并提供丰富的延伸阅读书目。 ☆在旧版基础上增补修订“电影与类型”“电影与明星”两个新章节，紧跟电影理论前沿话题。 ................... ※内容简介※ 这是一本电影理论入门的基础教材，作者从历史的角度，梳理和分析了理论家们对于电影这一艺术形式的思考和探索 。围绕“电影是什么”这一电影诞生以来的核心问题，不同时期的研究者给出了不同的回答，从苏联蒙太奇学派对于形式的重视，到巴赞、克拉考尔对于写实主义美学的强调，从经典理论对于电影本体的讨论，到现代理论跨学科、多角度的思考，本书对这些观点的...(展开全部)

塞巴斯塔编写的这本《编程语言原理(第10版)》从为什么学习程序设计语言入手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、对面向对象程序设计的支持(继承和动态方法绑定)、并发、异常处理和事件处理等方面。最后两章介绍了函数式程序设计语言和逻辑程序设计语言。 《编程语言原理(第10版)》内容丰富，讲解透彻，既可用做高等院校计算机及相关专业本科生程序设计语言课程的教材和参考书，也可供程序设计人员参考。

塞巴斯塔编写的这本《编程语言原理(第10版)》从为什么学习程序设计语言入手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、对面向对象程序设计的支持(继承和动态方法绑定)、并发、异常处理和事件处理等方面。最后两章介绍了函数式程序设计语言和逻辑程序设计语言。 《编程语言原理(第10版)》内容丰富，讲解透彻，既可用做高等院校计算机及相关专业本科生程序设计语言课程的教材和参考书，也可供程序设计人员参考。

格奥尔格·康托（1845—1918），德国数学家，集合论的创始人。本书是一部数学经典。它记录了一百年前数学领域的一项惊人成就，也是数学和哲学思想史上关于无穷观念的一场革命。康托完全背离了自古希腊以来千余年的数学传统，创立了集合理论，提出了超穷序数和超穷基数理论，第一次使人们相信，自然数集合与有理数集合是可数的，而实数集合是不可数的；也第一次使人们相信，无穷不仅是存在的，无穷还可以比较大小，甚至无穷可以进行超穷的运算。他所创立的无穷理论，不仅直接促使现代集合论的建立，也极大地推进了数理逻辑的发展，而逻辑和现代集合论构成了全部数学的基础。

本书手把手地教读者用C语言制作两种编程语言：crowbar与Diksam。crowbar是运行分析树的无类型语言，Diksam是运行字节码的静态类型语言。这两种语言都具备四则运算、变量、条件分支、循环、函数定义、垃圾回收等功能，最终版则可以支持面向对象、异常处理等高级机制。所有源代码都提供下载，读者可以一边对照书中的说明一边调试源代码。这个过程对理解程序的运行机制十分有帮助。 本书适合有一定基础的程序员和编程语言爱好者阅读。

本书手把手地教读者用C语言制作两种编程语言：crowbar与Diksam。crowbar是运行分析树的无类型语言，Diksam是运行字节码的静态类型语言。这两种语言都具备四则运算、变量、条件分支、循环、函数定义、垃圾回收等功能，最终版则可以支持面向对象、异常处理等高级机制。所有源代码都提供下载，读者可以一边对照书中的说明一边调试源代码。这个过程对理解程序的运行机制十分有帮助。

本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分，分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义等主题，并展示了它们之间如何相互关联。. 本书是计算机及相关专业高年级本科生和研究生的理想教学参考书，对于计算机领域的专业人士也是很好的技术参考书。

计算理论是计算机科学的理论基础。《计算理论基础》(第2版)介绍了计算理论最核心、最基本的内容，包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七章，分别为：集合、关系和语言；有穷自动机；上下文无关语言； Turing机；不可判定性；计算复杂性；NP完全性。《计算理论基础》(第2版)突出了算法，从而使计算机专业的学生更易接受，也更有收益。

本书从实践出发，全面讲解Go语言的高级编程技术和应用场景，涵盖Go语言的底层机制、性能优化、系统编程及前沿应用等多个方面。全书共10章，第1章回顾Go语言的发展历程，帮助读者理解其设计理念和演进过程；第2章和第3章系统介绍CGO编程与Go汇编语言的使用方法，使读者能够高效调用C库并深入理解Go的底层实现；第4章和第5章深入解析Go运行时和编译器，包括内存管理、调度器、垃圾收集机制等相关技术；第6章和第7章探讨Go在RPC和Web编程中的应用，介绍Protobuf、gRPC等核心技术，并剖析Web框架的设计和优化方案；第8章和第9章拓展Go的应用边界，涵盖WebAssembly和GUI编程，使Go语言不仅限于服务器端编程；第10章新增Go语言与大模型的结合，探索人工智能技术在Go生态系统中的应用场景。 本书适合对Go语言有一定基础，希望深入理解其底层机...(展开全部)