1
出版 2010
书本目录: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
获取全文
电子 电子书
2
出版 2010
书本目录: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
获取全文
电子 电子书
3
出版 2014
书本目录: ... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...
获取全文
电子 电子书
4
出版 2015
书本目录: ... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...
获取全文
电子 电子书
5
出版 2010
书本目录: ... in Practice -- Quantitative Verification in Practice -- Ten Years of Performance Evaluation for Concurrent...
获取全文
电子 电子书