形式语言、自动机和语法分析 【工业技术】

程序设计语言的形式语义 【工业技术】

本书是计算机专业本科生研究生形式语义学教材。

红色语言（REDL）的非形式说明书 【工业技术】

计算机语言的形式语义 【工业技术】

中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容

软件形式规格说明语言-Z 【工业技术】

本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法，适合作为高校软件工程学科的教材使用。

当代语言学理论丛书 形式语义学引论 【工业技术】

台州市创新农村农民住宅建筑形式 设计方案精选 【工业技术】

云南少数民族住屋 形式与文化研究 【工业技术】

国家自然科学基金资助项目。

自然语言处理的形式模型 【工业技术】

本书对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自...

壁画艺术与公共环境 当代壁画艺术形式与技法研究 【工业技术】

本书为2004年财经创新与管理国际学术会议用论文集，主要包括产品创新和技术创新、中部区域经济发展与产业创新、组织创新和制度创新、财务管理与金融创新等。...