退出
我的积分:
中文文献批量获取
外文文献批量获取
DENG Hui; 邓辉; DONG Guowei; 董国伟; GUO Tao; 郭涛; SHAO Shuai; 邵帅; WANG Xin; 王欣;
中国信息安全测评中心;
C语言程序; 内存泄露漏洞; 半代数系统; 软件安全;
机译:基于形式化方法的C程序内存分配漏洞分析与优化
机译:一种基于图形的可再生能源集成电力系统漏洞分析的基于图形方法,以级联故障
机译:通过IMAC程序纯化组氨酸标记的重组木聚糖酶A的宿主细胞蛋白的滥交:一种用基于Ni2 + -TACN的IMac系统的案例研究
机译:PLC程序验证的一种代数方法
机译:GENERTIA:一种用于基于免疫的异常检测系统进行漏洞分析,设计和重新设计的系统。
机译:基于计算流体动力学(CFD)的直接接触膜蒸馏(DCMD)系统的漏洞分析
机译:基于形式方法的C程序的内存分配漏洞分析和分析优化
机译:确定代数Riccati方程的所有正半定解的另一种几何方法
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。