版权说明 操作指南
首页 > 学者 > 学者详情
刘军
计算机科学与技术学院
分享
QQ微信 微博
疑似成果
筛选
开始检索
成果类型
19
3
+
年份 (1998~2018)
-
1
1
1
1
2
6
1
1
1
4
+
语种
15
4
+
期刊
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
+
作者
15
8
6
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
+
关键词
4
3
3
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
+
机构署名
16
3
1
1
+
院系归属
19
5
4
+
排序:
时间
每页显示
请选择

5

10

20

19条记录,
A proof-based method of hybrid systems development using differential invariants
作者: Liu, Jie;Liu, Jing*;Zhang, Miaomiao*;Sun, Haiying;Chen, Xiaohong;...
期刊: 计算机科学前沿(英文),2018年12(5):1026-1028 ISSN:2095-2228
展开
导出
原文链接
认领
下载
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants
作者: Liu, Jie;Liu, Jing*;Zhang, Miaomiao;Sun, Haiying;Chen, Xiaohong;...
期刊: Proceedings - IEEE Computer Society's International Computer Software and Applications Conference,2017年1:138-143 ISSN:0730-3157
展开
导出
原文链接
认领
下载
A Formal Framework for Hybrid Event B
作者: Jie Liu;Jing Liu*
期刊: Electronic Notes in Theoretical Computer Science,2014年309:3-12 ISSN:1571-0661
展开
导出
原文链接
认领
下载
Elimination of Redundant Invariants
作者: Yu Tong-lan;Yang Xiao-hua*;Liu Jie;Luo Yang;Wu Qu-jin
期刊: Advances in Intelligent and Soft Computing,2011年112:275-279 ISSN:1867-5662
展开
导出
原文链接
认领
基于Web Services的教学系统开发模型研究
作者: 杨星;刘军;罗晨晖
期刊: 福建电脑,2007年(4):15-16 ISSN:1673-2782
展开
导出
原文链接
认领
从选课方式的改进看我国高校教学管理的信息化
作者: 阳小华;刘军;罗晨晖
期刊: 高等理科教育,2007年(4):59-62 ISSN:1000-4076
展开
导出
原文链接
认领
下载
基于消息中间件的智能元搜索引擎设计
作者: 魏振达;阳小华;刘军
期刊: 淮阴师范学院学报(自然科学版),2006年5(1):78-82 ISSN:1671-6876
展开
导出
原文链接
认领
基于.NET组件技术的教学信息发布与管理系统的设计与实现
作者: 刘军;阳小华;杨星
期刊: 微型电脑应用,2006年22(4):24-27+30+69 ISSN:1007-757X
展开
导出
原文链接
认领
一种新的基于B/S模式的权限管理方案
作者: 刘军;阳小华;杨星
期刊: 微计算机信息,2006年22(01X):83-85+177 ISSN:1008-0570
展开
导出
原文链接
认领
下载
基于B/S模式的通用型组合查询组件的设计
作者: 刘军;阳小华;杨星
期刊: 测控自动化,2006年22(02X):256-258,85 ISSN:1008-0570
展开
导出
原文链接
认领
下载
教学信息发布与管理系统的设计与实现——基于.NET组件技术
作者: 刘军;阳小华;杨星
期刊: 计算机工程与应用,2006年42(2): 99-102,166 ISSN:1002-8331
展开
导出
原文链接
认领
下载
基于ASP.NET页面指纹的分组式权限管理方案
作者: 刘军;阳小华;黄洁
期刊: 计算机工程与应用,2006年42(10):178-180,232 ISSN:1002-8331
展开
导出
原文链接
认领
下载
成员搜索引擎的查询参数表达能力的建模设计
作者: 魏振达;阳小华;刘军
期刊: 南华大学学报(自然科学版),2005年19(4):83-85,89 ISSN:1673-0062
展开
导出
原文链接
认领
下载
用于非接触式核测量的红外通信接口的设计
作者: 刘军;周剑良
期刊: 核电子学与探测技术,2004年24(2):193-195 ISSN:0258-0934
展开
导出
原文链接
认领
下载
PC机与单片机的红外通信接口设计
作者: 颜拥军;刘军
期刊: 东莞理工学院学报,2003年10(2):7-9,17 ISSN:1009-0312
展开
导出
原文链接
认领
下载
实现PASCAL语言对UCDOS特显功能调用的方法
作者: 刘军;成湘豫
期刊: 微型电脑应用,1998年(05):86-89 ISSN:1007-757X
展开
导出
原文链接
认领
限制DOS命令对文件的操作权限
作者: 刘军;成湘豫;徐志文
期刊: 电脑编程技巧与维护,1998年(1):6-8 ISSN:1006-4052
展开
导出
原文链接
认领
下载
Maintaining method of microcomputer software based on modifying DOS core
作者: 刘军;成湘豫
期刊: 吉首大学学报(自然科学版),1998年19(3):92-93 ISSN:1007-2985
展开
导出
原文链接
认领
下载
利用处在定义属性实现文件的保护
作者: 刘军
期刊: 计算机时代,1998年(3):23-25 ISSN:1006-8228
展开
导出
原文链接
认领
下载

成果认领

标题:
用户 作者 通讯作者
请选择
请选择
确定
取消

提示

该栏目需要登录且有访问权限才可以访问

如果您有访问权限,请直接 登录访问

如果您没有访问权限,请联系管理员申请开通

管理员联系邮箱:yun@hnwdkj.com