在您的搜寻 主题建议
搜索替代词:
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
functions computation » function computation, functions composition, function composition
array processing » dairy processing, query processing
array string » array strong, arrays strings, array sharing
1
封面图片
出版 2014
书本目录: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2010
书本目录: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2010
书本目录: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2007
书本目录: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2005
书本目录: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2008
书本目录: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2015
书本目录: “... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2015
书本目录: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2010
书本目录: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索