1
出版事項 2008
目次: ... Transport Simulation Code with High Performance Fortran on a Vector-Parallel Computer -- Distributed...
全文の入手
電子媒体 eBook
2
出版事項 2014
目次: ...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...
全文の入手
電子媒体 eBook
3
出版事項 2006
目次: ... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...
全文の入手
電子媒体 eBook
4
出版事項 2010
目次: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...
全文の入手
電子媒体 eBook