QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 限定条件 内容类型：期刊论文    专题：清华大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 军政单位内网安全防护平台研究 期刊论文 2016, 2016 寇力; 徐柯; 陈晓晨 收藏  |  浏览/下载：2/0 前言 期刊论文 2016, 2016 史忠植; 张长水; 邓立; 陈松灿; 张军; 彭宇新 收藏  |  浏览/下载：3/0 一种基于动态并行区的OpenMP程序开发模式 期刊论文 2010, 2010 李建江; 舒继武; 陈永健; 王鼎兴; 郑纬民; Li Jianjiang; Shu Jiwu; Chen Yongjian; Wang Dingxing; Zheng Weimin 收藏  |  浏览/下载：1/0 面向多核处理器的低级并行程序验证 期刊论文 2010, 2010 朱允敏; 张丽伟; 王生原; 董渊; 张素琴; ZHU Yun-min; ZHANG Li-wei; WANG Sheng-yuan; DONG Yuan; ZHANG Su-qin 收藏  |  浏览/下载：2/0 语义Web下知识正确性检查的研究 期刊论文 2010, 2010 梁邦勇; 唐杰; 李涓子; 王克宏; LIANG Bang-yong; TANG Jie; LI Juan-zi; WANG Ke-hong 收藏  |  浏览/下载：1/0 Web服务过程建模及其逻辑正确性验证 期刊论文 2010, 2010 李喜彤; 范玉顺; LI Xi-tong; FAN Yu-shun 收藏  |  浏览/下载：3/0 CBR: a component-based reduction method for semantics verification of workflow processes 期刊论文 2010, 2010 Zhou Jian-tao; Shi Mei-lin; Ye Xin-ming 收藏  |  浏览/下载：2/0 Research on knowledge correctness checking in semantic Web 期刊论文 2010, 2010 Liang Bang-yong; Tang Jie; Li Juan-zi; Wang Ke-hong 收藏  |  浏览/下载：1/0