退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于自动机的模型计算字符串约束求解器,用于漏洞分析。
Aydin, Abdulbaki.;
University of California, Santa Barbara.;
机译:基于自动机的符号字符串分析,用于漏洞检测
机译:串约束解决的虚线字符串
机译:包含字符串操作函数的程序的自动字符串约束求解
机译:基于自动机的字符串约束模型计数
机译:用于电吉他,六弦电贝司吉他和风合奏的双协奏曲,并带有模型分析。
机译:西部灌丛鸦(Aphelocoma californica)通过弦和奖赏的空间关系解决多弦问题
机译:基于自动机的模型计数字符串约束
机译:约束条件求解方法,约束条件求解装置和约束条件求解系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。