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

Search Results

Help

Item hits: (Results 21-30 of 33)

Items/Page:    Sort:
动态测试工具FORTEST的构造与分析 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1989-01-01
王忠良
  |  
 
智能机核心语言的研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1989-01-01
韩晓梅

 
开放系统互连、作业传送和操纵OSI·JTM的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1989-01-01
宋广祥

 
图形用户接口设计环境GUIDE-GKS-一个UIMS的设计和实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1989-01-01
黄涛
  |  
 
SDL支撑系统的设计和实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1989-01-01
朱岩

 
“中介逻辑”与Woodruff三值逻辑系统 [期刊论文]
科学通报, 1989-01-01, 卷号: 34, 期号: 5, 页码: 329-332
李祥; 李广元
  |  
 
An automata theoretic decision procedure for the propositional mu-calculus [期刊论文]
Information and Computation, 1989-01-01, 卷号: 81, 期号: 3, 页码: 249 - 264
Robert S. Streett; E. Allen Emerson
  |  
 
Perceived Usefulness, Perceived Ease of Use, and User Acceptance of Information Technology [期刊论文]
MIS Quarterly, 1989-01-01, 卷号: 13, 期号: 3, 页码: 319-340
Fred D. Davis
  |  
 
Improved low-altitude constellation design methods [期刊论文]
Journal of Guidance, Control, and Dynamics, 1989-01-01, 卷号: 12, 期号: 2, 页码: 228-236
Hanson John M.; Linden Alexander N.
  |  
 
The knowledge complexity of interactive proof systems [期刊论文]
SIAM Journal on Computing, 1989-01-01, 卷号: 18, 期号: 1, 页码: 186 - 208
S. Goldwasser; S. Micali; C. Rackoff
  |  
 

previous 1 2 3 4 next

 

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