当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
计算机软件
--
程序语言、算法语言
Java程序切片及其在代码结构恢复中的应用
双界面智能卡Java虚拟机的设计与实现
Java程序切片及其在功能复用中的应用
创客教育在高职VB教学中应用的实践研究
C程序内存安全错误的运行时检测技术研究与实现
面向对象Java动态切片在API故障定位中的应用
面向对象Java程序切片及其在API度量中的应用
分布式Java程序切片及其在影响分析中的应用
加速XML解析技术的研究与设计
XML解析技术研究及其实现
互联网舆情信息获取与分析研究
基于路径表达式的多物化视图的增量保持方法的研究
一种新的XML文档存储平台SDML的实现技术
结构索引更新维护的研究
基于J2EE平台的代码生成器
XML结构连接算法的研究
XML的数据转换研究
基于XML的访问控制研究
ATLAS常规语言部分到C语言的转换
UML语言的研究与应用——基于UML的数传系统建模实践
ST语言编程平台的设计及其到C语言的转换
一种面向XQuery查询语言的测试模型研究
C语言应用程序的静态漏洞检测
基于Java源代码的动态监测技术研究
工程供应链建模语言的研究
ATLAS语言的语义分析技术
Cloud Foundry中Java应用集合类内存泄漏检测
检测C语言代码缺陷的工具CQL实现
一种C语言静态代码检测工具的研究与实现
Java应用程序缺陷定位技术研究与实现
基于Hindley-Milner类型系统的函数式语言Leaf的设计实现
ASP技术设计在企业内部办公自动化系统中的应用
复杂实时应用系统设计实现的关键技术研究
基于AspectJ的通用Java应用的码流追踪分析系统
MSVL语言的约束求解与形式验证
C程序运行时监控和验证的插桩方法研究与应用
基于确定学习的心肌缺血早期检测技术研究及C++实现
排桩基坑设计程序编制与方案优选
基于复杂网络理论的Java软件特征分析
JCOP语言的增强和改进研究与实现
基于MOOC+SPOC的ASP.NET课程教学设计
C语言查重与自动评分算法研究
基于控制流分析和数据流分析的Java程序静态检测方法的研究
基于CEGAR的C程序数组越界检测
基于案例库的Java异常修复研究
一种基于图结构的Java代码存取方法
高职生算法思维训练支持系统研究
C语言编程题在线评测系统的设计与研究
使用离线profile提升JavaScript程序的类型可预测性
基于操作码的Python程序防逆转算法研究与实现
上一页
[1]
[2]
[3]
[4]
[5]
下一页
