在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent programming » constraint programming, concurrent programs
equations computation » equations population, reputation computation, equations computing
array profiling » array processing, microarray profiling
array string » array strong, arrays strings, array sharing
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent programming » constraint programming, concurrent programs
equations computation » equations population, reputation computation, equations computing
array profiling » array processing, microarray profiling
array string » array strong, arrays strings, array sharing
1
出版 2006
书本目录:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”获取全文
电子
电子书
2
出版 2008
书本目录:
“... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...”获取全文
电子
电子书