1
出版 2012
书本目录: ... Heterogenous High-Performance Computing with ViennaCL.-High-Throughput-Screening of Medical Image Data...
获取全文
电子 电子书
2
出版 2007
书本目录: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
获取全文
电子 电子书
3
出版 2008
书本目录: ... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...
获取全文
电子 电子书
4
出版 2010
书本目录: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
获取全文
电子 电子书