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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
基于余代数的模型检测和定理证明 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-29
高建华
  |  
 
基于笔的工艺设计工具的研究与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-06
张超
  |  
 
基于PIBG范式的资源管理工具 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-06
鹿保军
  |  
 
消除结构冗余的XML数据库模式规范化设计 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 10, 页码: 1809-1814
吴永辉
  |  
 
笔式用户界面的可用性研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
吴刚
  |  
 
Post-WIMP软件界面研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
田丰
  |  
 
Verilog代数语义研究 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 3
李勇坚; 何积丰; 孙永强
  |  
 

1

 

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