陈慎任，马海波著2002 年出版164 页ISBN：7111109295
上海市普通高等学校教材普通高等教育机电类规划教材:本书系统地介绍了产品形态语义这一基础理论。内容包括：产品形态语义的认知心理，产品语义的表达要求，产品形态的功能语义、产品形态的市场语义等。...
朱保平，李千目编著2015 年出版152 页ISBN：9787302399759
本课程主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、图灵机的其它模开进等内容，更涉及到本学科方法论中所包含的3个学科形态。通过本课程的学习，...
伍谦光1988 年出版273 页ISBN：7535505368
近半个世纪以来，国外语言学的研究发展迅速，一方面，在语言学核心学科（音位学、句法学、语义学等）中出现了各种各样的理论和模式；另一方面，语言学与其他学科结合，出现了一系列的边缘学科（心理语言学、社会语言......
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
蒋宗礼，姜守旭编著2003 年出版347 页ISBN：7302061033
形式语言与自动机理论是计算机科学与技术学科各专业本科生的一门重要课程。本书是作者结合其多年在大学讲授本门课程的经验和体会，选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的...
美术设计之路 世界级金奖美术总监告诉你怎么用造型、色彩、形式和质感，打造出会说故事的电影世界
菲奥诺拉·贺利根著；杨宗颖译2015 年出版192 页ISBN：9789865671679
张哲，张发祥，赵国栋著2007 年出版156 页ISBN：9787030198631
“元语言”这一概念来自现代逻辑学。由于逻辑学与语言学属于不同的学科，“语言学的元语言”研究与“逻辑学的元语言”研究在目的、方法、范围上都有不同。语言学接受了逻辑学的对象语言——元语言之分。但语...
21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版
蒋宗礼，姜守旭编著2013 年出版287 页ISBN：9787302318026
本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....
