计算机科学与技术学科前沿丛书 形式语言与自动机

本课程主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、图灵机的其它模开进等内容，更涉及到本学科方法论中所包含的3个学科形态。通过本课程的学习，...

全国计算机技术与软件专业技术资格（水平）考试参考用书 信息系统项目管理师历年典型试题归类

本书按照最新全国计算机技术与软件专业技术资格（水平）考试（软考）大纲要求，将2005年以来信息系统项目管理师、系统集成项目管理工程师试题与其他各级别软考的相关试题分类编排，共计28章2178题（其中案例分析与应用.....

全国计算机技术与软件专业技术资格（水平）考试历年真题必练 信息系统管理工程师

本书以最新版的计算机技术与软件专业技术资格（水平）考试程序员考试大纲为指导，包括最新8套全真试题（上、下午）+试题详细解析+关键考点评注。8套全真试题，给考生提供8次实战演练机会。特别需要指出的是，本书每套......

高等学校计算机科学与技术 数据结构实例教程

本书对2008年第1版做了进一步的修订和完善，系统介绍了数据结构相关理论和基本算法，讨论了线性表、堆栈、队列、树和图等数据结构的基本概念、逻辑结构、存储结构，以及在这些结构基础上所实施的各种操作。本书...

计算机科学丛书 计算机系统 系统架构与操作系统的高度集成

本书采用集成方法，系统地讲解了计算机系统的软件和硬件知识。全书分为5个模块：处理器、内存系统、存储系统、并行系统和网络，分别介绍并讨论了处理器及其相关的软件问题、内存系统和内存分级体系、I/O和文件系...

地理学与地理信息科学的时空一体化 中美两国的前沿研究

本书收录了中美两国研究人员近期在地理与地理信息科学领域的主要研究成果，从全球尺度和不同的微观层面，对GIS学科中各种时空融合问题的研究和应用进行了评述、改进和发展。这些成果在前人的工作和当前研究的...

计算机科学导论学习辅导与技能实训

本书是《计算机科学导论》的配套教材，内容包括学习引导、习题解析、知识拓展和技能实训。其中，学习引导、习题解析和知识拓展的内容与主教材一一对应；技能实训的内容相对独立，包括构建微机系统、信息录入方法、...

科学小种子 大树，变成了什么？

计算机科学与技术学科前沿丛书 面向主体软件工程 模型、方法学与语言

本书以主体理论和技术的具体研究成果为基础，结合作者近年来在该领域的科学研究和工程实践，系统介绍面向主体软件工程的基本概念和思想、软件体系结构、建模语言、分析和设计方法、程序设计及其语言、CASE工具...

计算机科学与技术学科前沿丛书 计算机网络高级教程

本书分为三部分。第一个部分包括主要讨论伴随着计算机技术从ARPANET到互联网、从互联网到移动互联网、从移动互联网到物联网的发展，其核心技术TCP/IP协议体系的发展与技术演化的过程。第二部分主要讨论当前...