英语术语翻译与译名规范研究

软件工程形式化方法与语言

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

语言文字规范十五讲

中国地理学会1978年经济地理专业学术会议论文选集 经济地理学的理论与方法

语言文字规范手册 简要本

数据结构习题解析 用面向对象方法与C++语言描述

本书首先介绍了“数据结构”课程的学习指导和考试指导。然后从每章的“复习提要”、“难点和重点”开始，给出主教材中绝大多数习题解析和参考答案。...

汉字FOXBASE+数据库语言与应用程序的自动生成工具和方法

装备保障过程建模理论方法与应用学术研讨会论文集 2009年

本书围绕装备保障过程中复杂的系统建模工程，建设军事作战系统，装备保障资源优化配置与物流、健康诊断与维修、装备管理与军事训练等相关专业主题进行论述，具备对未来装备保障过程建模理论与应用研究参考性的学...

学术规范导论

本书是我国学术界、出版界第一部学术规范（人文社会科学类）读本性的专著，系统、全面地论述学术规范的科学体系、基本原则以及相关学科的具体学术规范，并附录教育部以及北京大学、清华大学等高校的学术规范文献。...

中国晶体学会衍射方法与晶体结构学术讨论会论文摘要集 1995年11月16-19日