1
Published 2010
Table of Contents: ... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
View full text
Electronic eBook