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

Search Results

Help

Item hits: (Results 1-10 of 12)

Filters    
Items/Page:    Sort:
动画剧本描述语言SDL/A的设计与实现 [期刊论文]
软件学报, 1996-01-01, 卷号: 7, 期号: 7, 页码: 385
马华东; 刘慎权; 唐小平; 赵琛
  |  
 
递归数据传送进程的证明系统 [期刊论文]
计算机学报, 1996-01-01, 卷号: 19, 期号: 11, 页码: 854
林惠民
  |  
 
一种RSA公开钥密码体制的分级加密设计 [期刊论文]
兰州大学学报. 自然科学版, 1996-01-01, 卷号: 32, 期号: 2, 页码: 10
贺也平; 王薇; 范淑香
  |  
 
constructing finite algebras with falcon [期刊论文]
Journal of Automated Reasoning, 1996-01-01, 卷号: 17, 期号: 1, 页码: 1-22
Zhang Jian

 
一个高质量汉字笔划字形到轮廓字形的转换系统 [期刊论文]
软件学报, 1996-01-01, 卷号: 7, 期号: 5, 页码: 257-263
董韫美; 陈海明
  |  
 
用圆锥曲线分解整数 [期刊论文]
四川大学学报(自然科学版), 1996-01-01, 卷号: 33, 期号: 4, 页码: 356-359
张明志
  |  
 
Modelling of submarine landslides and generated water waves [期刊论文]
Physics and Chemistry of The Earth, 1996-01-01, 卷号: 21, 期号: 1-2, 页码: 7-12
S. Assier Rzadkiewicz; C. Mariotti; P. Heinrich
  |  
 
Feature extraction methods for character recognition-A survey [期刊论文]
Pattern Recognition, 1996-01-01, 卷号: 29, 期号: 4, 页码: 641-662
Øivind Due Trier; Anil K. Jain; Torfinn Taxt
  |  
 
The Spatial Infrared Imaging Telescope III [期刊论文]
JOHNS HOPKINS APL TECHNICAL DIGEST, 1996-01-01, 卷号: 17, 期号: 2, 页码: 215-225
Brent Y. Bartschi; David E. Morse; Tom L. Woolston
  |  
 
On the Composition of Zero-Knowledge Proof Systems [期刊论文]
SIAM Journal on Computing, 1996-01-01, 卷号: 25, 期号: 1, 页码: 169 - 192
Oded Goldreich; Hugo Krawczyk
  |  
 

1 2 next

 

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