退出
我的积分:
中文文献批量获取
外文文献批量获取
张杨; 邵帅; 张冬雯;
河北科技大学 信息科学与工程学院 河北 石家庄 050018;
细粒度锁; 读写锁; 重构; 下推自动机; 程序分析;
机译:基于拉姆齐的包含检查,可自动查看下推自动机
机译:评论“基于完全剩余格值逻辑的自动机理论:下推自动机”
机译:基于不清晰量子逻辑的计算理论:有限状态自动机和下推自动机
机译:下推自动机与量子下推自动机
机译:自动重构历史重构和动态组件自适应框架,用于基于重构的软件组件演化。
机译:基于候选自动选择的改进贝叶斯网络重构基因调控网络的方法
机译:踩踏锁的自动重构
机译:遗传算法在非确定性下推自动机的诱导中的应用
机译:一种使用下推自动机根据封装功能检查路径的方法
机译:利用过程和细粒度可重构元素的可重构处理器元素
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。