1
出版 2007
書本目錄: ... Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... on Neighbourhood Sequences in Non-standard Three-Dimensional Grids -- Fuzzy Distance Based Hierarchical Clustering...
獲取全文
電子 電子書
3
出版 2012
書本目錄: ... Threshold Estimation in Biometric Signature Recognition Based on Multiple Linear Regression -- Deterministic...
獲取全文
電子 電子書
4
出版 2013
書本目錄: ... -- Dynamic Cache Miss-Rate Reduction -- Agent Simulation Group on the Robocup 3-D Realization of Basic...
獲取全文
電子 電子書