中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 71-79 of 79)

Items/Page:    Sort:
基于DOM的Web信息提取 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 5, 页码: 526-533
李效东; 顾毓清

 
基于有效裁剪被遮挡单元的非规则数据场体绘制算法 [期刊论文]
计算机学报, 2001-01-01, 卷号: 24, 期号: 3, 页码: 292-295
孙文武; 吴恩华
  |  
 
经典BLP安全公理的一种适应性标记实施方法及其正确性 [期刊论文]
计算机研究与发展, 2001-01-01, 卷号: 38, 期号: 11, 页码: 1366-1372
石文昌; 孙玉芳; 梁洪亮
  |  
 
一种分析电子商务协议的新工具 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9, 页码: 1318-1328
周典萃; 卿斯汉; 周展飞
  |  
 
智能决策系统工具的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999-01-01
南懿庭
  |  
 
基于知识面向构件的角色法——开放角色 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1997-01-01
曹森
  |  
 
一种面向软件工程的时序逻辑语言 [期刊论文]
软件学报, 1994-01-01, 卷号: 5, 期号: 12, 页码: 1
唐稚松; 赵琛
  |  
 
基于重写技术的自动定理证明 [期刊论文]
计算机科学, 1992-01-01, 期号: 2, 页码: 79-80,24
张健

 
基于规则的软件开发环境 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1991-01-01
王志强
  |  
 

previous 1 2 3 4 5 6 7 8

 

Valid XHTML 1.0!
Copyright © 2007-2022  中国科学院软件研究所 - Feedback
Powered by CSpace