...
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:编码BACnet协议数据单元和形式描述
获取外文期刊封面封底 >>
K. Takahashi;
机译:用于形式描述数据计算网络的信号和协议的语法网络的分类
机译:正式安全协议模型中数据编码的安全抽象
机译:使用Estelle的移动数据链接协议的形式化描述
机译:专业学习社区中数据团队协议的主要领导。
机译:捕获临床数据编码临床知识—在正式临床本体中实现双重视角
机译:BaCnet ms / Tp媒体访问控制协议的形式化分析
机译:用于控制复杂情况下的措施的控制系统,具有控制单元和数据模型分割单元,该控制单元和数据模型分割单元将复杂情况的数据模型分割为子情况,在其中为每个子情况生成形式描述
机译:根据正式的CDF语法规则,使用通用数据格式(CDF)对包括实体/关系数据,函数调用和文件数据在内的数据单元进行编码的系统和方法
机译:根据正式的CDF语法规则,使用通用格式(CDF)对包括实体/关系数据,函数调用和文件数据在内的数据单元进行编码的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。