2024年7月3日
星期三
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
程序语义
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
张晓东
作品数:89
被引量:318
H指数:9
供职机构:西安交通大学
研究主题:颅内动脉瘤 血管内栓塞 血管内栓塞治疗 蛛网膜下腔出血 电解可脱性弹簧圈
刘沛
作品数:17
被引量:6
H指数:1
供职机构:西安交通大学
研究主题:多线程 程序语义 逻辑表达式 求解器 功率控制
刘烃
作品数:150
被引量:176
H指数:7
供职机构:西安交通大学
研究主题:胎记 攻击检测 智能电网 抄袭 报税
郑庆华
作品数:590
被引量:2,033
H指数:22
供职机构:西安交通大学
研究主题:视频 文本 关联网络 纳税人 虚拟机
金大海
作品数:129
被引量:82
H指数:6
供职机构:北京邮电大学
研究主题:控制流 软件测试 抽象语法树 控制流图 状态机
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张