退出
我的积分:
中文文献批量获取
外文文献批量获取
孙永强; 陆朝俊; 邵志清;
上海交通大学计算机科学与工程系;
上海;
200030;
华东理工大学计算机系;
200237;
函数程序设计语言; 代数规范; 项重写系统; 定理 证明; 无归纳的归纳法;
机译:基于重写方法的程序开发系统的设计与实现
机译:基于重写的运行时验证技术
机译:无重写的HyperLTL的基于重写的运行时验证
机译:基于项重写的方程组推理技术研究
机译:基于Tm Biosciences基于Luminex的多重检测技术的技术验证用于检测美国医学遗传学推荐的囊性纤维化突变小组
机译:在aRm(抽象重写机)的范围内:通过最小重写系统编译左线性重写系统;软件工程部
机译:基于多因素身份验证的访问管理技术,包括基于知识的身份验证
机译:基于位置的数字内容和使用AR技术的智能手机应用程序开发
机译:基于用户的应用程序构建技术,不需要基础业务流程配置的程序开发和原型模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。