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

Search Results

Help

Item hits: (Results 21-27 of 27)

Items/Page:    Sort:
automatic construction of finite algebras [期刊论文]
Journal of Computer Science and Technology, 1995-01-01, 卷号: 10, 期号: 3, 页码: 206-213
张健
  |  
 
Structural-Analysis of Differential-Algebraic Equation Systems - Theory and Applications [期刊论文]
Computers & Chemical Engineering, 1995-01-01, 卷号: 19, 期号: 8, 页码: 867-882
Unger J; Kroner A; Marquardt W
  |  
 
Processing network models of energy/environment systems [期刊论文]
Computers and Industrial Engineering, 1995-01-01, 卷号: 28, 期号: 1, 页码: 179 - 189
John W. Chinneck
  |  
 
Automated reasoning and exhaustive search: Quasigroup existence problems [期刊论文]
Computers & Mathematics with Applications, 1995-01-01, 卷号: 29, 期号: 2, 页码: 115-132
J. Slaney; M. Fujita; M. Stickel
  |  
 
Computing the Degree of Determinants via Combinatorial Relaxation [期刊论文]
SIAM Journal on Computing, 1995-01-01, 卷号: 24, 期号: 4, 页码: 765 - 796
Kazuo Murota
  |  
 
Structural operational semantics for weak bisimulations [期刊论文]
Theoretical Computer Science, 1995-01-01, 卷号: 146, 期号: 1-2, 页码: 25-68
Bard Bloom
  |  
 
Successive subdivision of tetrahedra and multigrid methods on tetralhedral meshes [期刊论文]
Houston J. Math, 1995-01-01, 卷号: 21, 期号: 18, 页码: 541–556
ShangYou Zhang
  |  
 

previous 1 2 3

 

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