21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版
蒋宗礼，姜守旭编著2013 年出版287 页ISBN：9787302318026
本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....
JeffreyEdmundCurry，张蔚编著2017 年出版384 页ISBN：9787544646673
高阳编著2008 年出版331 页ISBN：9787121069444
本书详细介绍了数据库技术的基本原理、方法、实际应用技术及开发实例。全书按照理论—应用—扩展的思路编写。第1章到第7章是理论部分，重点介绍了关系数据库的基本理论，包括数据库和关系数据库的基本概念、数...
麻志毅编著2008 年出版226 页ISBN：9787111235286
本书讲解了面向对象分析与设计的基本原理。
一点通 高中同步学习指南 信息技术 选修1 算法与程序设计 新学考笔试版
《一点通》编写组编2014 年出版115 页ISBN：9787564727703
本书主要包括五章内容，每章分为小节，小节中均设置有“目标导航”“知识梳理”“名题解析”“巩固练习”和“拓展提高”等板块。每章后设有章综合复习题和“课外延伸”板块。另附有章综合练习卷。本书主要适合...
