暂缺简介...

本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容，并辟一章集中讨论了并发和分布式语义。

暂缺简介...

内容简介本书介绍了人工智能原理的基本内容，包括自动推理、知识表示、机器学习和自然语言理解等四个部分。全书共分十章：依次讨论了归结方法、不确定推理方法、非单调推理方法、定性推理方法，知识表示方法，机器学习的基本概念以及由实例和基于解释的学习方法，最后讨论了自然语言的语法、语义分析。本书可作为大学计算机系高年级大学生和研究生“人工智能原理”课程的教材。也可作为从事计算机学科研究的教师和科研人员参考。

暂缺简介...

暂缺简介...

暂缺简介...

本书论述了协议工程的定义、研究内容和研究方法， 并介绍协议构造、协议横型、协议描述、协议验证、协议综合， 协议实现和协议测试的理论和方法。

内容包括：西文操作系统下显示汉字技术; 与FoxBASE接口技术; Turbo C的高级打印技术; 菜单设计技术; 与汇编语言的接口技术.

本书是华东高等院校计算机基础教学研究会组织编写的《计算机应用入门》的第一分册，旨在使广大计算机用户尽快掌握微型计算机的有关基础知识和使用技能。书中以通用PC系列微机为样机，在编写中力图内容通俗易懂，深入浅出，书中列举了大量应用实例，并对使用中屏幕提示的西文信息作了中文翻译，使初学者能对照着一步一步地学习操作，尽快地掌握使用方法与技巧。书中除了指明正确的上机操作方法和应避免的误操作之外，还对各种命令的功能及执行步骤作了必要的文字说明。若初学者能按本收的内容循序渐进，边学边上机操作实习，在两个星期内就可掌握计算机基本知识和操作技能。