×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
西安交通大学 [2]
厦门大学 [1]
北京大学 [1]
地理科学与资源研究所 [1]
软件研究所 [1]
内容类型
期刊论文 [3]
学位论文 [2]
会议论文 [1]
发表日期
2019 [1]
2018 [1]
2017 [1]
2012 [1]
2010 [1]
2001 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共6条，第1-6条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Optimizing water resources allocation in the Haihe River basin under groundwater sustainability constraints
期刊论文
JOURNAL OF GEOGRAPHICAL SCIENCES, 2019, 卷号: 29, 期号: 6, 页码: 935-958
作者:
Martinsen, Grith
;
Liu, Suxia
;
Mo, Xingguo
;
Bauer-Gottwein, Peter
收藏
|
浏览/下载：48/0
|
提交时间：2019/09/24
Haihe River
China
hydroeconomic optimization
linear programming
groundwater sustainability
spatio-temporal economic trade-offs
decision support
IncPregel: an incremental graph parallel computation model
期刊论文
Frontiers of Computer Science, 2018, 卷号: 12, 页码: 1076-1089
作者:
Liu, Qiang
;
Dong, Xiaoshe
;
Chen, Heng
;
Wang, Yinfeng
收藏
|
浏览/下载：10/0
|
提交时间：2019/11/19
Communication messages
Emerging applications
Graph computations
Open source frameworks
Parallel computation model
Pregel
Programming abstractions
Redundant computation
一种基于组件的信息物理系统描述语言
学位论文
硕士, 北京: 中国科学院大学, 2017
作者:
时雨霖
收藏
|
浏览/下载：19/0
|
提交时间：2017/07/08
信息物理系统
基于组件
系统描述
XML
基于类型一阶逻辑系统的逻辑程序设计语言语义描述方法的研究
学位论文
2012, 2011
李慧琪
收藏
|
浏览/下载：5/0
|
提交时间：2016/02/14
类型一阶逻辑系统
逻辑程序设计
说明性语义
过程性语义
多态多类
typed first order logic system
logic programming
declarative semantics
procedural semantics
polymorphic many-sorted
Composition challenges and approaches for cyber physical systems
会议论文
作者:
Wan, Kaiyu
;
Hughes, Danny
;
Man, Ka Lok
;
Krilavicˇius, Tomas
收藏
|
浏览/下载：2/0
|
提交时间：2019/12/18
Composition analysis
Composition mechanisms
Cyber physicals
In compositions
Paper surveys
Programming abstractions
Programming paradigms
State of the art
扩展面向对象编程(XOOP)的理论和方法
期刊论文
计算机学报, 2001
孙斌
收藏
|
浏览/下载：3/0
|
提交时间：2015/11/10
面向对象
继承
归纳
编程语言
©版权所有 ©2017 CSpace - Powered by
CSpace
