1
Published 2007
Table of Contents: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Chaos to Differential Evolution for Range Image Registration -- Genetic Programming for Automatic...
View full text
Electronic eBook