计算机语言的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义，本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容，并辟一章集中讨论了并发和分布式语义。本书内容自成体系，在开篇第一章即给出了阅读本书所需的数学知识。全书内容丰富，结构严谨，集形式语义领域有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的近代发展潮流和趋势，并对不同流派的理论和方法给予了分析和评价。 本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书，也可供有关专业科技人员进修或作为工具书。

本书是学习计算机语言的教学辅助教材，遵循理论和实践相结合的原则，在给出具体的语言实现之前先给出原理性知识介绍，强调结构化程序设计和软件工程方法，采用形象化的方法，借助模块图、界面图、表格及代码讲解模块化程序设计。本书增加了对编程思想的全局性指导，以及对各种编程方法的方法论总结和归纳性总结，主要内容包括软件开发的方法、Office软件中宏程序编写实例、VB、VFP、C语言综合实训示例、自主练习题等内容，另外还对自主练习题中部分难点进行了提示和启发。所有程序都经过精心编排，并上机调试通过。

本书是学习计算机语言的教学辅助教材，遵循理论和实践相结合的原则，在给出具体的语言实现之前先给出原理性知识介绍，强调结构化程序设计和软件工程方法，采用形象化的方法，借助模块图、界面图、表格及代码讲解模块化程序设计。本书增加了对编程思想的全局性指导，以及对各种编程方法的方法论总结和归纳性总结，主要内容包括软件开发的方法、Office软件中宏程序编写实例、VB、VFP、C语言综合实训示例、自主练习题等内容，另外还对自主练习题中部分难点进行了提示和启发。所有程序都经过精心编排，并上机调试通过。

计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统，以及量子程序设计语言的形式语义。 全书内容丰富，结构严谨，集形式语义学理论及其应用的有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的近代发展潮流和趋势，并对不同流派的理论和方法给予了分析和评论。 本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书，也可供有关专业或交叉学科的科研人员进修或作为工具书。

计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统，以及量子程序设计语言的形式语义。 全书内容丰富，结构严谨，集形式语义学理论及其应用的有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的近代发展潮流和趋势，并对不同流派的理论和方法给予了分析和评论。 本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书，也可供有关专业或交叉学科的科研人员进修或作为工具书。

自然语言计算机形式分析是横跨语言学、计算机科学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动通信也是以自然语言为媒介的，它已经渗透到日常生活的各个领域。因此，自然语言计算机形式分析对于国家的信息化建设，对于互联网和移动通信的安全具有重要作用。 本书对自然语言处理中的各种理论和方法进行了系统的总结和梳理。首先讨论了自然语言处理的学科定位；接着介绍了语言计算的一些先驱研究；然后以主要的篇幅讨论自然语言处理中的各种形式模型，包括基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自动...(展开全部)

现代计算机系统的软硬件架构十分复杂，是所有IT相关技术的根源。本书尝试从原始的零认知状态开始，逐 步从基础的数字电路一直介绍到计算机操作系统以及人工智能。本书用通俗的语言、恰到好处的疑问、符合原生 态认知思维的切入点，来帮助读者洞悉整个计算机底层世界。本书在写作上遵循“先介绍原因，后思考，然后介绍 解决方案，最终提炼抽象成概念”的原则。全书脉络清晰，带领读者重走作者的认知之路。本书集科普、专业为一 体，用通俗详尽的语言、图表、模型来描述专业知识。 本书内容涵盖以下学科领域：计算机体系结构、计算机组成原理、计算机操作系统原理、计算机图形学、高性 能计算机集群、计算加速、计算机存储系统、计算机网络、机器学习等。 本书共分为12章。第1章介绍数字计算机的设计思路，制作一个按键计算器，在这个过程中逐步理解数字计 算机底层原理。第2章在第1章的基础上，改造按键...(展开全部)

本书是计算机科学与技术专业学生的入门教材。全书共分10章，系统地介绍了计算机基础知识、计算机硬件系统、计算机软件系统、算法与数据结构基础、多媒体技术基础、数据库技术基础、计算机网络技术基础、信息安全基础知识、、云计算与物联网、计算机导论实验。为了让读者能够及时地检查学习效果，巩固所学知识，每章最后还附有丰富的习题。

如何在学校“生存”下去？ 老师不会调用强大的威严压迫我。 同学们不会偷拿我的东西。 这感觉真是太棒了。 “这简直是在21世纪现代社会最有用的生存指南之一啊。” 本篇小说讲述了躁郁症少女日常生活的故事。 既然如此，她未来的生活会是怎么样的呢？

这是一部计算机史的权-威之作，追溯了计算机的史前史、发明、软硬件的创新、应用领域的扩展以及个人计算机和因特网的兴起。《计算机简史 第三版》增加了对软件和因特网的*分析，涉及编程、社交网络、移动终端等诸多新话题。本书还探讨了谷歌、Facebook等行业巨擘的崛起与发展，讨论了强大的应用程序如何改变了人们的工作、消费、学习和社交方式。