Title: All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic, Author: Manuel Clavel
Title: Art of Computer Programming, The, Volumes 1-4B, Boxed Set, Author: Donald Knuth
Title: Differential Evolution, Author: Kenneth Price
Title: Programming Abstractions in C++ / Edition 1, Author: Eric Roberts
Title: The Art of Artificial Evolution: A Handbook on Evolutionary Art and Music, Author: Juan J. Romero
Title: Visual Basic 2012 How to Program / Edition 6, Author: Paul Deitel