2024年12月23日
星期一
|
欢迎来到海南省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
程序正确性证明
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
王彩芬
作品数:147
被引量:449
H指数:11
供职机构:西北师范大学计算机科学与工程学院
研究主题:双线性对 签密 签密方案 基于身份 签名方案
胡正国
作品数:114
被引量:656
H指数:13
供职机构:西北工业大学计算机学院
研究主题:信誉度模型 网格计算 INTERNET CORBA WEB
张志斌
作品数:105
被引量:87
H指数:5
供职机构:中国科学院计算技术研究所
研究主题:统计学 数据分析 计算引擎 计算机科学 数据挖掘技术
苏敏
作品数:1
被引量:0
H指数:0
供职机构:宁夏大学数学计算机学院
研究主题:程序正确性证明
叶军
作品数:57
被引量:107
H指数:4
供职机构:西北工业大学机电学院
研究主题:车载GPS 工程图学 教学改革 产品设计 水龙头
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张