王海霞
【姓名】 王海霞
【职称】
【研究领域】 计算机硬件技术;互联网技术;
【研究方向】 计算机应用信息系统
【发表文献关键词】 决策图,XML消息,替换方法,全局仓库,XML,XMLParser,形式化验证,整数乘法,中间层,方法研究,网上数据交换,数据层,XML文档,形式验证,乘法器,标准代码,XML技术,本地代码,替换算法...
【工作单位】 中国科学院计算技术研究所
【曾工作单位】 中国科学院计算技术研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 1 1 43 228
中国期刊全文数据库    共找到2篇
[1]王海霞,韩承德.整数乘法电路的形式化验证方法研究[J]计算机研究与发展.2005,(03)
[2]谢用辉,张宝行,柳勇,王海霞.一种网上数据交换的新技术-XML的分析和实现[J]计算机工程与应用.2002,(05)
更多