1
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Personal Networks over Heterogeneous Ad-hoc Scenarios -- Analysis of Algorithms for Radial Basis Function...
View full text
Electronic eBook