形式构成语言

形式语言与自动机理论教学参考书 第3版

本书根据作者作为《形式语言与自动机理论》一书的配套读物，按照原书的结构编写而成。重点讨论有关内容的讲解和学习的要点、问题分析、求解思路和方法、注意事项、典型习题的解析等。按照小节给出知识点和主...

21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版

本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....

古典形式美豪宅设计

本书诠释了新古典主义风格的别墅室内设计特点，书中收录的每个项目都是经典的别墅设计案例，内容方面，都用图文并茂的方式解读设计技巧，每个项目都配有非常具有空间感的实景照片、重点设计图纸和专业的设计说明文...

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

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

高级语言程序设计 C语言描述

本书强调程序设计方法的教学，内容覆盖了C程序设计的主要方面，包括基础知识、数据类型、运算符、表达式、语句结构、数组、指针、函数、程序结构、结构体类型、文件等。书中通过大量有实际背景的例题来说明语...

Java语言程序设计

本书全面而系统地介绍了Java语言程序设计的基础知识，基本语法，Java面向对象的特征以及Java语言的应用。

C语言程序设计 第2版

C语言程序设计实验教程

Java语言程序设计

本书作为Java语言程序设计课程的教材，系统全面地介绍了有关Java开发所涉及的各类知识。