当前位置:首页 > 名称
大约有18,028项符合查询结果项。(搜索耗时:0.1346秒)
为您推荐: r语言 c语言 禅宗语言 无声的语言 语言逻辑 语言论集
-
-
-
-
复旦外国语言文学论丛 2007年春季号 研究生专刊
张冲主编;复旦大学外文学院编2007 年出版209 页ISBN:7309054709本书从不同角度和领域向读者展示了复旦近年来研究生在语言文学研究方面所取得的研究成果和进步。
-
-
-
-
-
-
软件工程形式化方法与语言
李莹,吴江琴著2010 年出版200 页ISBN:9787308066679本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
学科分类
出版时间
