登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

静态类型化XML处理语言的子类型判定问题研究
出版社：中国科学院
出版年：2007
作者：戴晓君
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

类型检查中的正则表达式相交判定与包含判定
  • 作者：倪晓勇
  • 出版社：中国科学院
  • 出版年：2011
...

扩展正则表达式子类的推断与成员判定算法研究
  • 作者：孙业程
  • 出版社：中国科学院软件研究所
  • 出版年：2023
...

受限正规树文法与基于正则表达式包含判定的类型检查
  • 作者：陈雷
  • 出版社：中国科学院
  • 出版年：2010
...

信息无损数据转换的模型、测试和判定问题研究
  • 作者：郑黎晓
  • 出版社：中国科学院
  • 出版年：2012
...

静态压缩图像后处理技术的研究
  • 作者：文伟
  • 出版年：2004
...

类型化低级语言的设计与实现
  • 作者：李筱青
  • 出版年：2004