1
Publicerad 2007
Innehållsförteckning: ... Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ... on Neighbourhood Sequences in Non-standard Three-Dimensional Grids -- Fuzzy Distance Based Hierarchical Clustering...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2012
Innehållsförteckning: ... Threshold Estimation in Biometric Signature Recognition Based on Multiple Linear Regression -- Deterministic...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2013
Innehållsförteckning: ... -- Dynamic Cache Miss-Rate Reduction -- Agent Simulation Group on the Robocup 3-D Realization of Basic...
Hämta fulltext
Elektronisk E-bok