退出
我的积分:
中文文献批量获取
外文文献批量获取
张永铮; 方滨兴; 云晓春;
中国通信学会;
中国互联网协会;
网络安全; CVDL模式; 弱点信息; 形式化描述; XML语言;
机译:基于算术描述语言的算术电路形式化设计
机译:基于符号转换系统和时间逻辑的形式化体系结构描述语言
机译:基于算术算法描述语言ARITH的算术运算电路形式化设计
机译:MIGDL:一种用于移动平台的基于XML的交互式图形描述语言
机译:基于XML的软件体系结构视图描述语言(AVDL)。
机译:在计算机辅助诊断和识别X射线图像中器官的癌性和炎症性病变中的句法分析和形状特征描述语言
机译:基于符号转换系统和模态逻辑的形式化架构描述语言
机译:CDL1,计算机描述语言。第一部分描述语言的性质和描述的组织。第Ii部分。计算系统的各种描述
机译:基于XML和使用此记录介质的形式化规范的方法和装置
机译:使用基于XML的流程描述语言处理文档的系统和方法
机译:提供基于XML的界面描述语言的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。