1
Được phát hành 2013
Mục lục: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... for Random 2SAT -- Improved Rounding for Parallel Repeated Unique Games -- A Query Efficient Non-adaptive...
lấy văn bản
Điện tử eBook
3
Được phát hành 2010
Mục lục: ... for Intelligent Agents -- Multi-agent System Environment Based on Repeated Local Effect Functions -- Hierarchical...
lấy văn bản
Điện tử eBook
4
Được phát hành 2008
Mục lục: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
lấy văn bản
Điện tử eBook