中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820
作者:  Hou Lishan;  Jin Zhi;  Wu Budan
收藏  |  浏览/下载：102/0  |  提交时间：2018/07/30
web service  environment ontology  automatic composition  pi calculus  formal verification  
High energy positive solutions of Neuman problem for an elliptic system of equation with critical nonlinearities 期刊论文
CALCULUS OF VARIATIONS AND PARTIAL DIFFERENTIAL EQUATIONS, 2006, 卷号: 25, 期号: 2, 页码: 161-185
作者:  Cao, DM;  Han, PG
收藏  |  浏览/下载：148/0  |  提交时间：2018/07/30
elliptic system  energy functional  (PS) sequence  critical Sobolev exponent