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