退出
我的积分:
中文文献批量获取
外文文献批量获取
韩志耕; 罗军舟; 王良民;
东南大学计算机科学与工程学院,江苏南京210096;
不可否认; 增广CSP方法; 公平性; 时限性; 形式化方法;
机译:关于$ Csp * sb lambda(G)otimessb {m max} Csp * sb ho(G)$和$ Csp *(Csp * sb lambda(G),Csp * sb ho(G))$的非同构
机译:固体密度函数计算的投影增广波,伪势和线性增广平面波形式的比较
机译:云数据存储平台的完整性漏洞和不可否认协议分析
机译:可交换载脂蛋白共有序列CSP-BABA和CSP-ABBA的结构,稳定性和脂质结合。
机译:使用增广拉格朗日方法膝关节双相有限元接触分析
机译:乐观不可否认协议分析
机译:在DDa方法中使用增广拉格朗日方法和块压裂。
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
机译:基于增广度目标运动的镜面展示增广度渲染方法和装置
机译:卫星导航增广系统及卫星导航增广方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。