当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
计算机软件
--
程序语言、算法语言
Java程序动态更新技术研究
基于Java的纺织空调设计计算模块软件的开发
函数式并行程序语言研究
WebQuest模式在JAVA课程中的应用研究
安全C语言的设计与实现
“项目导入任务驱动”教学法在《C语言程序设计》教学中的应用
C程序形状的并行化分析
C程序精确形状分析中的规范语言设计
基于计算思维的C语言教学模式分析与案例设计
Java内存泄漏发现技术研究
分布式Java程序切片及其在故障定位中的应用
建模语言Orc在PAR平台中的实现及相关理论研究
教学设计建模语言的构造及应用研究
Hybrid AADL：混成系统体系结构分析与设计语言
基于HTML5的前端效率机制及Web应用模式研究
MSVL的约束扩展及其应用
混成建模语言HyML及其语义理论研究
海南省酒店信息数据共享规范
分布式JS解析系统的设计与构建
XML概念模型及内部转换方法的研究
基于XML的动态几何作图语言
面向Twig查询的XML类型推导
基于树模式查询的XQuery递归查询优化技术的研究
Twig模式优化动作生成方法研究
面向XQuery语言的扩展XML树模式识别方法以及查询算法
基于XMLSchema的Twig查询模式最小化
XML查询中具有位置谓词的树模式匹配方法
基于UML和AADL的模型转换与验研究
基于STEP中性文件的特征信息提取与XML文档转换技术
Haskell语言类型推理的语义模型研究
基于BPMN的建模研究与应用
对PTL和MSVL的实时扩展
带缓存的π演算及其应用
基于可变长二进制编码的XML二维编码方法研究
基于XPath路径表达式的选择度估算研究
基于SLCA语义的XML关键字查询处理方法研究
基于函数依赖和多值依赖的XML规范化研究
高职院校C语言合作学习的教学实践与反思
测评系统组件间数据交互的设计与实现
一种改进的基于Dewey编码的XML最紧致片段求解方法的研究与实现
初中VB教学中任务驱动教学法的应用
基于异常的中间语言代码混淆器的设计与实现
“工学结合”视角下中职“VB程序设计”课程开发研究
XML模式匹配算法的研究
程序代码相似度检测方法研究及应用
基于XML模式的XML文档自动生成工具的研究与实现
Mobile Widget的JavaScript库研究与实现
基于ARM-Linux平台的Java虚拟机的移植研究
C++静态安全规则检查工具实现
SNAX系统中数据存储研究
上一页
[1]
[2]
[3]
[4]
[5]
下一页
