当前位置:首页 > 名称
大约有26,609项符合查询结果项。(搜索耗时:0.1168秒)
为您推荐: 语言测试与评价 理论 实践 奥德森语言测试文集 title普通话水平测试实用教程 四川省语言协会指定用书 语言测试20第二版 正版图书 国家税务总局国考专业能力测试英语语言应用能力 测试技术
-
-
-
-
复旦外国语言文学论丛 2007年春季号 研究生专刊
张冲主编;复旦大学外文学院编2007 年出版209 页ISBN:7309054709本书从不同角度和领域向读者展示了复旦近年来研究生在语言文学研究方面所取得的研究成果和进步。
-
-
-
-
-
-
软件工程形式化方法与语言
李莹,吴江琴著2010 年出版200 页ISBN:9787308066679本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
学科分类
出版时间
