AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:与级别无关的建模语言:语言规范和工具实现
Gerbig Ralph;
机译:建筑信息模型的3d空间查询语言中定向算子的规范和实现
机译:通用模型查询语言GMQL-概念规范,实现和运行时评估
机译:形式验证规范语言模型的设计与实现
机译:使用领域特定的建模语言工具来规范和实现自主大规模系统行为
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:在OWL DL中表示NCI词库:建模工具可帮助对语言进行建模
机译:用于生成Ada语言规范的图形工具的Prolog实现
机译:C代码生成过程,涉及用统一的标记语言代码生成详细的实现模型,在脚本生成工具中使用的模型中构造数据以及在生成工具中生成语言文件
机译:自定义统一建模语言工具的计算机实现方法和系统
机译:用于定制统一建模语言工具的计算机实现的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。