Showing
1 - 6
results of
6
for search '
Rinard, M.
'
Skip to content
AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs
|
Search Tips
|
Feedback
我的帳戶
退出
登錄
Theme
Bootstrap
Aunilo
語言
English
中文(繁體)
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
About
About AUNILO IRDS
Content Sources
Statistics
Technical Team
Disclaimer
Privacy & Security Policy
全文檢索
題名
作者
主題
索引號
ISBN/ISSN
標簽
檢索
高級檢索
作者
Rinard, M.
Showing
1 - 6
results of
6
for search '
Rinard, M.
'
, 查詢時間: 0.01s
Refine Results
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
1
Incremental deterministic planning
由
Andrei, Ş.
,
Chin, W.-N.
,
Rinard
,
M
.
出版 2013
獲取全文
Conference or Workshop Item
加到收藏夾
Saved in:
2
Region inference for an object-oriented language
由
Chin, W.-N.
,
Craciun, F.
,
Qin, S.
,
Rinard
,
M
.
出版 2013
獲取全文
Conference or Workshop Item
加到收藏夾
Saved in:
3
Region inference for an object-oriented language
由
Chin, W.-N.
,
Craciun, F.
,
Qin, S.
,
Rinard
,
M
.
出版 2013
獲取全文
Conference or Workshop Item
加到收藏夾
Saved in:
4
A hierarchy of tractable subclasses for SAT and counting SAT problems
由
Andrei, Ş.
,
Grigoraş, G.
,
Rinard
,
M
.
,
Chuan Yap, R.H.
出版 2013
獲取全文
Conference or Workshop Item
加到收藏夾
Saved in:
5
Memory usage verification for OO programs
由
Chin, W.-N.
,
Nguyen, H.H.
,
Qin, S.
,
Rinard
,
M
.
出版 2013
獲取全文
Conference or Workshop Item
加到收藏夾
Saved in:
6
Histogram-based global load balancing in structured peer-to-peer systems
由
Vu, Q.H.
,
Ooi, B.C.
,
Rinard
,
M
.
,
Tan, K.-L.
出版 2013
獲取全文
Article
加到收藏夾
Saved in:
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
×
載入...