科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
李万杰;
楚雄师范高等专科学校,云南,楚雄,675000;
变异语言; 规范语言; 矛盾统一性; 人文精神; 科学精神;
机译:CCSL作为规范语言的时空一致性语言的验证框架
机译:一种使用Erlang作为测试规范语言的与语言无关的黑盒测试方法
机译:GDSL:一种解释机器语言的通用解码器规范语言
机译:非规范语言比规范语言更难注释
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:PyBioNetFit和生物特性规范语言
机译:性别语言偏离异规范语言
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义
机译:用于提供配置规范语言的方法,系统和程序产品,该配置规范语言支持配置实体的选择性表示
机译:提供配置规范语言的方法,系统和程序产品,该配置规范语言支持用于配置构造的任意映射功能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。