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

Search Results

Help

Item hits: (Results 1-6 of 6)

Filters    
Items/Page:    Sort:
Additions and corrections to “Terminal coalgebras in well-founded set theory” [期刊论文]
Theoretical Computer Science, 1994-01-01, 卷号: 124, 期号: 1, 页码: 189-192
Michael Barr
  |  
 
Hierarchical Data Flow Analysis for O-O Programs [期刊论文]
Journal of Object-Oriented Programming, 1994-01-01, 卷号: 7, 期号: 2, 页码: 36-46
Satish Subramanian; Wei-tek Tsai; Shekhar H. Kirani
  |  
 
Adaptive fading Kalman filter with an application [期刊论文]
Automatica, 1994-01-01, 卷号: 30, 期号: 8, 页码: 1333-1338
Qijun Xia; Ming Rao; Yiqun Ying; Xuemin Shen
  |  
 
A comparison of tetrahedron quality measures [期刊论文]
Finite Elements in Analysis and Design, 1994-01-01, 卷号: 15, 期号: 3, 页码: 255 - 261
V. N. Parthasarathy; C. M. Graichen; A. F. Hathaway
  |  
 
SPH simulation of multi-phase flow [期刊论文]
Computer Physics Communications, 1994-01-01, 卷号: 87, 期号: 1-2, 页码: 225-235
J.J. Monaghan; A. Kocharyan
  |  
 
A model-based framework for the integration of software metrics [期刊论文]
Journal of Systems and Software, 1994-01-01, 卷号: 26, 期号: 1, 页码: 77 - 86
William M. Evanco; Robert Lacovara
  |  
 

1

 

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