科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:计算逻辑的进步(CILC08)
机译:计算逻辑的进展(CILC08)
机译:意大利计算逻辑研究的最新进展(CILC 2012):纪念埃里奥·兰萨罗内(1945-2011)
机译:多主体系统中的计算逻辑:最新进展和未来方向
机译:计算数学,计算逻辑和符号计算
机译:新颖的III-V器件架构,可用于高级CMOS逻辑及其他应用。
机译:在医疗保健研究中推进复杂性科学:逻辑模型的逻辑
机译:逻辑,运营和计算数学的进步
机译:仅适用于放置在数据库服务器计算机中的高密度计算业务逻辑程序的,适合实施和修改高密度计算业务逻辑程序的信息处理装置系统
机译:紧凑逻辑设备的增强,还可以加速和计算模数运算,尤其是用于椭圆曲线和RSA类型计算的公共关键密码学协同处理器中
机译:紧凑逻辑设备的增强,还可以加速和计算模数运算,尤其是用于椭圆曲线和RSA类型计算的公钥密码协同处理器中
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。