中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [9]
作者
Content Type
期刊论文 [9]
Issued Date
Language
英语 [9]
Source
applied ma... [1]
applied ma... [1]
discrete a... [1]
finite ele... [1]
informatio... [1]
更多...
Project
Indexed
EI [9]
Spnsorship
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-9 of 9)
Filters
Indexed:EI
Language:英语
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
probabilistic bisimulations for quantum processes
[期刊论文]
INFORMATION AND COMPUTATION, 2007-01-01, 卷号: 205, 期号: 11, 页码: 1608-1639
Feng Yuan
;
Duan Runyao
;
Ji Zhengfeng
;
Ying Mingsheng
  |  
minimizing makespan with release times on identical parallel batching machines
[期刊论文]
DISCRETE APPLIED MATHEMATICS, 2005-01-01, 卷号: 148, 期号: 1, 页码: 127-134
Li SG
;
Li GJ
;
Zhang SQ
  |  
finite element mesh generation over intersecting curved surfaces by tracing of neighbours
[期刊论文]
FINITE ELEMENTS IN ANALYSIS AND DESIGN, 2005-01-01, 卷号: 41, 期号: 4, 页码: 351-370
Lo SH
;
Wang WX
  |  
a ptas for semiconductor burn-in scheduling
[期刊论文]
JOURNAL OF COMBINATORIAL OPTIMIZATION, 2005-01-01, 卷号: 9, 期号: 1, 页码: 1-13
Deng XT
;
Feng HD
;
Li GJ
;
Shi BY
  |  
an irregular grid for the numerical solution of linear elliptic partial differential equations
[期刊论文]
APPLIED MATHEMATICS AND COMPUTATION, 2005-01-01, 卷号: 166, 期号: 1, 页码: 84-94
Chen YR
;
Sun JC
  |  
the computations of einstein-kahler metric of cartan-hartogs domain
[期刊论文]
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2005-01-01, 卷号: 48, 期号: SUPPL., 页码: 365-376
Yin XL
;
Zhao XX
  |  
symplectic structure of poisson system
[期刊论文]
APPLIED MATHEMATICS AND MECHANICS-ENGLISH EDITION, 2005-01-01, 卷号: 26, 期号: 11, 页码: 1484-1490
Sun JQ
;
Ma ZQ
;
Tian YM
;
Qin MZ
  |  
on the independence of boolean functions
[期刊论文]
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005-01-01, 卷号: 82, 期号: 4, 页码: 415-420
Wu CK
  |  
genetic design of drugs without side-effects
[期刊论文]
SIAM JOURNAL ON COMPUTING, 2003-01-01, 卷号: 32, 期号: 4, 页码: 1073-1090
Deng X
;
Li G
;
Li Z
;
Ma B
;
Wang LS
  |  
1
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace