当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
计算机软件
--
程序语言、算法语言
基于模式的XML查询重写及索引技术研究
基于XML的文本规划方法
.NET分布式技术应用与研究
XML数据查询技术研究
高校《C语言程序设计》课研究性学习的设计与实践
Java语言的类和多态性的公理语义
Z规格说明中集合论算子的自动求精研究及实现
TTCN-3测试管理的设计与实现
对象数据与XML数据映射规则的研究
Mizar语言的开发与应用
Java虚拟机安全性的形式化分析和验证
嵌入式JAVA虚拟机实现技术的研究
COBOL语言集成开发环境的研究与实现
COBOL语言远程集成开发环境研究与实现
嵌入式Java虚拟机及其应用研究
基于B-Method的XML语义分析与描述
资源空间模型的完整性约束理论
XML路径表达式优化及其查询和过滤计算方法
形式规约语言LFC的实现和应用研究
XML在石油电子商务网的应用
XML在数据查询中的应用研究
XML语义及其应用研究
XML引擎研究
XML应用语义约束样式表
实时Java的研究与应用
Z语言的实时扩展及应用
统一建模语言（UML）实时扩展
一种系统生物学建模语言的研制
基于XML的元数据近似匹配模型研究
面向Java应用的重构工具Refactorings的设计与实现
基于XML的层次化信息动态管理技术研究
面向移动计算环境的可扩展标记语言转换技术研究
XML数据语义映射研究
一种基于语义的将关系数据转换为XML数据的方法
Java语言的异常处理机制的公理语义
基于网络环境的FORTRAN语言学习系统
关于JDO技术规范及其应用研究
程序设计语言模型的设计与实现
XML在通用数据交换中的作用
虚拟机机制研究
基于XML的类结构完整性和一致性研究
J2EE/EJB技术的研究
高级着色语言及其优化编译
XML路径查询处理关键技术研究
对象并发演算模型及对象语言语义研究
XML家族语言语义研究
XML的完整性约束
基于UML的需求获取技术研究
基于Z对UML中Use Case图的形式化
XQuery语言的查询实现
上一页
[7]
[8]
[9]
[10]
[11]
下一页
